@InCollection{ bai-fri-mci-hecfest11, author = {Jorge A. Baier and Christian Fritz and Sheila A. McIlraith}, title = {Golog-style Search Control for Planning}, booktitle = {Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque}, publisher = {College Publications}, year = 2011, editor = {Gerhard Lakemeyer and Sheila A. McIlraith}, url = {bai-fri-mci-hecfest11.pdf}, keywords = {Golog, Planning} }
@InProceedings{ fri-gil-iui2011, author = {Christian Fritz and Yolanda Gil}, title = {A Formal Framework for Combining Natural Instruction and Demonstration for End-User Programming}, booktitle = {Proceedings of the 2011 International Conference on Intelligent User Interfaces (IUI), February 13-16, 2011, Palo Alto, CA, USA}, year = 2011, bibbase_note = {<span style="color: green">Nominated for Best Paper Award.</span>}, url = {fri-gil-iui11.pdf}, keywords = {Programming by Demonstration, Golog} }
@InProceedings{ fri-gil-aaai10ws, author = {Christian Fritz and Yolanda Gil}, title = {Towards the Integration of Programming by Demonstration and Programming by Instruction using Golog}, booktitle = {AAAI Workshop on Plan, Activity, and Intent Recognition (PAIR) 2010}, year = 2010, urlPaper = {fri-gil-aaai10ws_techreport.pdf}, keywords = {Golog, Programming by Demonstration}, note = {The version found here is the extended version including the proofs.} }
@inproceedings {Ferrein:Schiffer:Lakemeyer:2009:EmbeddingFuzzyControllorsGolog, title = {Embedding Fuzzy Controllers into Golog}, booktitle = {Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'09)}, year = {2009}, month = {August 20-24}, pages = {894--899}, publisher = {IEEE}, organization = {IEEE}, type = {inproceedings}, address = {ICC Jeju, Jeju Island, Korea}, abstract = {High-level behaviour specification of an intelligent autonomous agent or robot is a non-trivial task. Various approaches exist some of which try to combine different paradigms like programming and planning. In this paper, we show how to integrate fuzzy logic controllers into the logic-based programming language Golog. Golog already allows for combining programming and planning. By adding the instrument of fuzzy controllers we provide the means to have a natural specification of rules for tasks that require a high amount of reactivity. Since the facilities already present in Golog remain, we add to an already powerful framework thus expanding the applicability of Golog for high-level behaviour specification of a robot or agent.}, keywords = {Controller, Fuzzy, Golog}, issn = {1098-7584}, doi = {10.1109/FUZZY.2009.5277161}, url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/fuzz-ieee2009pole.pdf}, author = {Ferrein, Alexander and Schiffer, Stefan and Lakemeyer, Gerhard} }
@InProceedings{fri-bai-mci-kr08, author = {Christian Fritz and Jorge A. Baier and Sheila A. McIlraith}, title = {Con{G}olog, {S}in {T}rans: Compiling {ConGolog} into Basic Action Theories for Planning and Beyond}, booktitle = {Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning}, year = 2008, urlPaper= {fri-bai-mci-kr08.pdf}, address = {Sydney, Australia}, month = {September 16--19}, pages = {600--610}, note = {Technical Report CSRG-576, containing the proofs of the theorems and a more detailed description of the compilation, can be found <a href="ftp://ftp.cs.toronto.edu/csrg-technical-reports/576/fri-bai-mci-kr08-techreport.pdf">here</a>.}, keywords = {Golog} }
@InProceedings{ bai-fri-bie-mci-aaai08nectar, author = {Jorge A. Baier and Christian Fritz and Meghyn Bienvenu and Sheila McIlraith}, title = {Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners}, booktitle = {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Nectar Track}, year = 2008, urlPaper= {bai-fri-bie-mci-aaai08nectar.pdf}, address = {Chicago, Illinois, USA}, month = {July 13--17}, pages = {1509--1512}, keywords = {Golog} }
@InProceedings{ bai-fri-mci-icaps07, author = {Jorge A. Baier and Christian Fritz and Sheila A. McIlraith}, title = {Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners}, booktitle = {Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS)}, year = 2007, urlPaper= {bai-fri-mci-icaps07.pdf}, address = {Providence, Rhode Island, USA}, month = {September 22--26}, pages = {26--33}, OPTnote = { <i>The proofs of the included theorems can be found in <a href="ftp://ftp.cs.toronto.edu/csrg-technical-reports/565/565.pdf">Technical Report CSRG-565</a>.</i>}, abstract = {Domain control knowledge (DCK) has proven effective in improving the efficiency of plan generation by reducing the search space for a plan. Procedural DCK is a compelling type of DCK that supports a natural specification of the skeleton of a plan. Unfortunately, most state-of-the-art planners do not have the machinery necessary to exploit procedural DCK. To resolve this deficiency, we propose to compile procedural DCK directly into PDDL2.1, thus enabling any PDDL2.1-compatible planner to exploit it. The contribution of this paper is threefold. First, we propose a PDDL-based semantics for an Algol-like, procedural language that can be used to specify DCK in planning. Second, we provide a polynomial algorithm that translates an ADL planning instance and a DCK program, into an equivalent, program-free PDDL2.1 instance whose plans are only those that adhere to the program. Third, we argue that the resulting planning instance is well-suited to being solved by domain-independent heuristic planners. To this end, we propose three approaches to computing domain-independent heuristics for our translated instances, sometimes leveraging properties of our translation to guide search. In our experiments on familiar PDDL planning benchmarks we show that the proposed compilation of procedural DCK can significantly speed up the performance of a heuristic search planner. Our translators are implemented and available on the web. }, keywords = {Golog} }
@InProceedings{ KR0603FritzC.pdf_200603061828, AUTHOR={Christian Fritz and Sheila McIlraith}, TITLE={Decision-Theoretic {Golog} with Qualitative Preferences}, BOOKTITLE={Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR)}, address={Lake District, UK}, month={June 2--5}, YEAR={2006}, pages = {153-163}, URLPaper={200603061828_KR0603FritzC.pdf}, keywords = {Golog, Planning with Preferences} }
@inproceedings{finzi_representing_2005, title = {Representing flexible temporal behaviors in the situation calculus}, booktitle = {Proceedings of the {International} {Joint} {Conference} on {Artificial} {Intelligence} ({IJCAI})}, author = {Finzi, Alberto and Pirri, Fiora}, year = {2005}, note = {ISSN: 10450823}, keywords = {abstract, golog, situation calculus, temporal}, pages = {436--441} }
@TechReport{ extended_200507311452, author = {Christian Fritz and Sheila McIlraith}, title = {Compiling Qualitative Preferences into Decision-Theoretic {Golog} Programs: Extended Version with Proofs}, institution = {University of Toronto}, year = 2005, urlPaper= {200507311452_extended.pdf}, number = {CSRG-522}, month = {May}, URLPaper={200507311452_extended.pdf}, keywords = {Golog, Planning with Preferences} }
@InProceedings{ fri-mci-nrac05f.pdf_200506061537, AUTHOR={Christian Fritz and Sheila McIlraith}, TITLE={Compiling Qualitative Preferences into Decision-Theoretic {Golog} Programs}, BOOKTITLE={Proceedings of The 6th Workshop on Nonmonotonic Reasoning, Action, and Change (at IJCAI05)}, MONTH={August 1}, ADDRESS={Edinburgh, UK}, YEAR={2005}, URLPaper={200506061537_fri-mci-nrac05f.pdf}, keywords = {Golog, Planning with Preferences} }
@Article{ Ferrein2005Using.pdf_200506061855, author = {Alexander Ferrein and Christian Fritz and Gerhard Lakemeyer}, title = {Using Golog for Deliberation and Team Coordination in Robotic Soccer}, journal = {KI}, volume = {19}, number = {1}, year = {2005}, urlPaper= {200506061855_Ferrein2005Using.pdf}, pages = {24-31}, keywords = {Golog, RoboCup} }
@InProceedings{ fer-fri-lak-ki04, AUTHOR={A. Ferrein and C. Fritz and G. Lakemeyer}, TITLE={On-line Decision-Theoretic {Golog} for Unpredictable Domains}, BOOKTITLE = {Proceedings of 27th German Conference on AI (KI)}, pages={322--336}, address={Ulm, Germany}, month={September 20--24}, YEAR={2004}, URLPaper={200506061854_Ferrein2004OnlineCogRob.pdf}, keywords = {Golog, RoboCup}, note = {Also appeared at The 4th International Cognitive Robotics Workshop (at ECAI04), August 23--24, Valencia, Spain.} }
@article{grosskreutz_cc-golog_2003, title = {cc-{Golog} - {An} {Action} {Language} with {Continuous} {Change}}, volume = {11}, issn = {1367-0751}, url = {http://jigpal.oxfordjournals.org/content/11/2/179.short}, doi = {10.1093/jigpal/11.2.179}, abstract = {High-level robot controllers often need to specify event-driven behavior and they operate low-level processes which change the world in a continuous fashion. While non logic-based control languages have existed for some time to address these issues, this is not the case for logic-based languages. To remedy the situation, we show how to incorporate continuous change and event-driven behavior into the action language GOLOG. Besides proposing a suitable semantics for the new language, which we call cc-Golog, we show how a robot architecture where a high-level controller communicates via messages with low-level routines can be modeled naturally in this new dialect. Finally, we demonstrate how on-line execution and off-line projection can be combined in this language.}, number = {2}, journal = {Logic Journal of IGPL}, author = {Grosskreutz, Henrik}, year = {2003}, keywords = {golog, reading list}, pages = {179--221} }
@MastersThesis{ Fritz2003Integrating.pdf_200506061853, AUTHOR={Christian Fritz}, TITLE={Integrating decision-theoretic planning and programming for robot control in highly dynamic domains}, SCHOOL={RWTH Aachen University, Germany}, MONTH={November}, YEAR={2003}, URLPaper={200506061853_Fritz2003Integrating.pdf}, keywords = {Golog, RoboCup} }
@InProceedings{ ferrein03extending.pdf_200506061851, AUTHOR={Alexander Ferrein and Christian Fritz and Gerhard Lakemeyer}, TITLE={Extending {DTGolog} with Options}, BOOKTITLE = {Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI)}, pages={1394--1395}, address={Acapulco, Mexico}, month={August 9--15}, YEAR={2003}, URLPaper={200506061851_ferrein03extending.pdf}, keywords = {Golog} }
@InProceedings{Kiringa01a, Title = {Simulation of Advanced Transaction Models Using GOLOG}, Author = {Kiringa, I}, Booktitle = {Proceedings of the 8th Biennial Workshop on Data Bases and Programming Languages (DBPL'01)}, Year = {2001}, File = {dbpl01.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/dbpl01.pdf:PDF;dbpl01.ps:http\://www.cs.toronto.edu/cogrobo/Papers/dbpl01.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/dbpl01.ps.gz}, Timestamp = {2018.09.23}, Url = {dbpl01.pdf} }
@TechReport{Hindriks00b, Title = {An Embedding of ConGolog in 3{APL}}, Author = {Hindriks, Koen and Lesp\'erance, Yves and Levesque, Hector}, Institution = {Department of Computer Science, University Utrecht}, Year = {2000}, Number = {UU-CS-2000-13}, Key = {CogRobo}, Keywords = {Golog}, Timestamp = {2018.09.23}, Url = {Hindriks00b.pdf} }
@Article{Giuseppe00-ConGologAi, Title = {Con{G}olog, A Concurrent Programming Language Based on the Situation Calculus}, Author = {De Giacomo, Giuseppe and Lesp\'erance, Yves and Levesque, Hector}, Journal = {Artificial Intelligence}, Year = {2000}, Number = {1--2}, Pages = {109--169}, Volume = {121}, File = {ConGologAIJ.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/ConGologAIJ.pdf:PDF;ConGologAIJ.ps:http\://www.cs.toronto.edu/cogrobo/Papers/ConGologAIJ.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Timestamp = {2018.09.23}, Url = {ConGologAIJ.pdf} }
@InProceedings{Boutilier00, Title = {Decision-Theoretic, High-Level Agent Programming in the Situation Calculus}, Author = {Boutilier, Craig and Reiter, Ray and Soutchanski, Mikhail and Thrun, Sebastian}, Booktitle = {Workshop on Decision-Theoretic Planning, Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000)}, Year = {2000}, Address = {Breckenridge, Colorado}, Month = {Apr}, File = {dtgologKR00W.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.pdf:PDF;dtgologKR00W.ps:http\://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.ps.gz}, Timestamp = {2018.09.23}, Url = {dtgologKR00W.pdf} }
@InProceedings{Grosskreutz00, Title = {cc-Golog: Towards More Reaslitic Logic-Based Robot Controllers}, Author = {Grosskreutz, Henrik and Lakemeyer, Gerhard}, Booktitle = {Proceedings of AAAI-00}, Year = {2000}, Address = {Austin, Texas}, Month = {Jul}, Key = {CogRobo2}, Keywords = {Golog}, Optnote = { \\ {\sf Extends the situation calculus and ConGolog to model continuous and event-driven behavior. cc-Golog can wait for events and execute plans while guarding certain constraints.}}, Timestamp = {2018.09.23}, Url = {Grosskreutz00.pdf} }
@InProceedings{Soutchanski00, Title = {An On-line Decision-Theoretic Golog Interpreter}, Author = {Soutchanski, Mikhail}, Booktitle = {The 2nd International Cognitive Robotics Workshop (held in conjunction with ECAI-2000) }, Year = {2000}, Address = {Berlin, Germany}, Month = {August}, File = {onlinedtgi.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.pdf:PDF;onlinedtgi.ps:http\://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/onlinedtgi.ps.gz}, Timestamp = {2018.09.23}, Url = {onlinedtgi.pdf} }
@InProceedings{Levesque00-Legolog, Title = {Le{G}olog: {I}nexpensive Experiments in Cognitive Robotics}, Author = {Levesque, Hector and Pagnucco, Maurice}, Booktitle = {Proceedings of the Second International Cognitive Robotics Workshop}, Year = {2000}, Address = {Berlin, Germany}, Month = {August}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/crw00.ps}, Timestamp = {2018.09.23}, Url = {crw00.pdf} }
@InProceedings{Baral99, Title = {Extending {C}on{G}olog to Allow Partial Ordering}, Author = {Baral, Chitta and Cao Son, Tran}, Booktitle = {Proceedings of ATAL-99}, Year = {1999}, Pages = {188--204}, Key = {CogRobo2}, Keywords = {Golog}, Optnote = { \\ {\sf Extends ConGolog with a new $htn$-construct to express plans with partial ordering. The idea is to incoporate the advantages of hierarchical task networks (HTN) into the ConGolog high-level language. }}, Timestamp = {2018.09.23}, Url = {Baral99.pdf} }
@InProceedings{Reiter98, Title = {Sequential, Temporal GOLOG}, Author = {Reiter, Ray}, Booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)}, Year = {1998}, Address = {Trento, Italy}, Pages = {547--556}, File = {reiterkr98.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.pdf:PDF;reiterkr98.ps:http\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps.gz}, Timestamp = {2018.09.23}, Url = {reiterkr98.pdf} }
@InProceedings{Lesperance97, Title = {An Experiment in Using Golog to Build a Personal Banking Assistant}, Author = {Lesp\'erance, Y. and Levesque, H. J. and Ruman, S.}, Booktitle = {Intelligent Agent Systems: Theoretical and Practical Issues}, Year = {1997}, Editor = {Rao, L. and Wobcke, W.}, Pages = {27--43}, Publisher = {Springer-Verlag}, Series = {Lectures Notes in Artificial Intelligence (LNAI)}, Volume = {1209}, File = {bankingAgt.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/bankingAgt.pdf:PDF;bankingAgt.ps:http\://www.cs.toronto.edu/cogrobo/Papers/bankingAgt.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/bankingAgt.ps.gz}, Timestamp = {2018.09.23}, Url = {bankingAgt.pdf} }
@InProceedings{Shapiro97, Title = {Specifying Communicative Multi-Agent Systems with ConGolog}, Author = {Shapiro, S. and Lesp\'erance, Y. and Levesque, H. J.}, Booktitle = {In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines}, Year = {1997}, Address = {Cambridge, MA}, Month = {Novemeber}, Pages = {72--82}, Publisher = {AAAI Press}, File = {AAAIfall97.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/AAAIfall97.pdf:PDF;AAAIfall97.ps:http\://www.cs.toronto.edu/cogrobo/Papers/AAAIfall97.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/AAAIfall97.ps.gz}, Timestamp = {2018.09.23}, Url = {AAAIfall97.pdf} }
@InProceedings{Giuseppe97-ConGolog1, Title = {Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus}, Author = {De Giacomo, Giuseppe and Lesp\'erance, Yves and Levesque, Hector}, Booktitle = {Proceedings of the Fifteenth International Joint Conference on AI (IJCAI-97)}, Year = {1997}, Address = {Nagoya}, Month = {August}, Pages = {1221--1226}, File = {congologIJCAI97.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.pdf:PDF;congologIJCAI97.ps:http\://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps.gz}, Timestamp = {2018.09.23}, Url = {congologIJCAI97.pdf} }
@Article{Levesque97-Golog, Title = {{GOLOG}: {A} Logic Programming Language for Dynamic Domains}, Author = {Levesque, H. and Reiter, R. and Lesp\'erance, Y. and Lin, F. and Scherl, R.}, Journal = {Journal of Logic Programming}, Year = {1997}, Pages = {59--84}, Volume = {31}, File = {GOLOGlang.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/GOLOGlang.pdf:PDF;GOLOGlang.ps:http\://www.cs.toronto.edu/cogrobo/Papers/GOLOGlang.ps:PostScript}, Key = {CogRobo}, Keywords = {Golog}, Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/GOLOGlang.ps.gz}, Timestamp = {2018.09.23}, Url = {GOLOGlang.pdf} }