Keyword: golog

2011 (2)
Golog-style Search Control for Planning. Baier, J. A., Fritz, C., & McIlraith, S. A. In Lakemeyer, G. & McIlraith, S. A., editors, Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque. College Publications, 2011.
Golog-style Search Control for Planning [pdf]Paper  bibtex   
A Formal Framework for Combining Natural Instruction and Demonstration for End-User Programming. Fritz, C. & Gil, Y. In Proceedings of the 2011 International Conference on Intelligent User Interfaces (IUI), February 13-16, 2011, Palo Alto, CA, USA, 2011. Nominated for Best Paper Award.
A Formal Framework for Combining Natural Instruction and Demonstration for End-User Programming [pdf]Paper  bibtex   
2010 (1)
Towards the Integration of Programming by Demonstration and Programming by Instruction using Golog. Fritz, C. & Gil, Y. In AAAI Workshop on Plan, Activity, and Intent Recognition (PAIR) 2010, 2010. The version found here is the extended version including the proofs.
Towards the Integration of Programming by Demonstration and Programming by Instruction using Golog [pdf]Paper  bibtex   
2009 (1)
Embedding Fuzzy Controllers into Golog. Ferrein, A., Schiffer, S., & Lakemeyer, G. In Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'09), pages 894–899, ICC Jeju, Jeju Island, Korea, August 20-24, 2009. IEEE, IEEE.
Embedding Fuzzy Controllers into Golog [pdf]Paper  doi  abstract   bibtex   
2008 (2)
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. Fritz, C., Baier, J. A., & McIlraith, S. A. In Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning, pages 600–610, Sydney, Australia, September 16–19, 2008. Technical Report CSRG-576, containing the proofs of the theorems and a more detailed description of the compilation, can be found here.
ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond [pdf]Paper  bibtex   
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. Baier, J. A., Fritz, C., Bienvenu, M., & McIlraith, S. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), Nectar Track, pages 1509–1512, Chicago, Illinois, USA, July 13–17, 2008.
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners [pdf]Paper  bibtex   
2007 (1)
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. Baier, J. A., Fritz, C., & McIlraith, S. A. In Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS), pages 26–33, Providence, Rhode Island, USA, September 22–26, 2007.
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners [pdf]Paper  abstract   bibtex   
2006 (1)
Decision-Theoretic Golog with Qualitative Preferences. Fritz, C. & McIlraith, S. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 153-163, Lake District, UK, June 2–5, 2006.
Decision-Theoretic Golog with Qualitative Preferences [pdf]Paper  bibtex   
2005 (4)
Representing flexible temporal behaviors in the situation calculus. Finzi, A. & Pirri, F. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pages 436–441, 2005. ISSN: 10450823
bibtex   
Compiling Qualitative Preferences into Decision-Theoretic Golog Programs: Extended Version with Proofs. Fritz, C. & McIlraith, S. Technical Report CSRG-522, University of Toronto, May, 2005.
Compiling Qualitative Preferences into Decision-Theoretic Golog Programs: Extended Version with Proofs [pdf]Paper  bibtex   
Compiling Qualitative Preferences into Decision-Theoretic Golog Programs. Fritz, C. & McIlraith, S. In Proceedings of The 6th Workshop on Nonmonotonic Reasoning, Action, and Change (at IJCAI05), Edinburgh, UK, August 1, 2005.
Compiling Qualitative Preferences into Decision-Theoretic Golog Programs [pdf]Paper  bibtex   
Using Golog for Deliberation and Team Coordination in Robotic Soccer. Ferrein, A., Fritz, C., & Lakemeyer, G. KI, 19(1):24-31, 2005.
Using Golog for Deliberation and Team Coordination in Robotic Soccer [pdf]Paper  bibtex   
2004 (1)
On-line Decision-Theoretic Golog for Unpredictable Domains. Ferrein, A., Fritz, C., & Lakemeyer, G. In Proceedings of 27th German Conference on AI (KI), pages 322–336, Ulm, Germany, September 20–24, 2004. Also appeared at The 4th International Cognitive Robotics Workshop (at ECAI04), August 23–24, Valencia, Spain.
On-line Decision-Theoretic Golog for Unpredictable Domains [pdf]Paper  bibtex   
2003 (3)
cc-Golog - An Action Language with Continuous Change. Grosskreutz, H. Logic Journal of IGPL, 11(2):179–221, 2003.
cc-Golog - An Action Language with Continuous Change [link]Paper  doi  abstract   bibtex   
Integrating decision-theoretic planning and programming for robot control in highly dynamic domains. Fritz, C. Master's thesis, RWTH Aachen University, Germany, November, 2003.
Integrating decision-theoretic planning and programming for robot control in highly dynamic domains [pdf]Paper  bibtex   
Extending DTGolog with Options. Ferrein, A., Fritz, C., & Lakemeyer, G. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI), pages 1394–1395, Acapulco, Mexico, August 9–15, 2003.
Extending DTGolog with Options [pdf]Paper  bibtex   
2001 (1)
Simulation of Advanced Transaction Models Using GOLOG. Kiringa, I In Proceedings of the 8th Biennial Workshop on Data Bases and Programming Languages (DBPL'01), 2001.
Simulation of Advanced Transaction Models Using GOLOG [pdf]Paper  bibtex   
2000 (6)
An Embedding of ConGolog in 3APL. Hindriks, K., Lespérance, Y., & Levesque, H. Technical Report UU-CS-2000-13, Department of Computer Science, University Utrecht, 2000.
An Embedding of ConGolog in 3APL [pdf]Paper  bibtex   
ConGolog, A Concurrent Programming Language Based on the Situation Calculus. De Giacomo, G., Lespérance, Y., & Levesque, H. Artificial Intelligence, 121(1–2):109–169, 2000.
ConGolog, A Concurrent Programming Language Based on the Situation Calculus [pdf]Paper  bibtex   
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. Boutilier, C., Reiter, R., Soutchanski, M., & Thrun, S. In Workshop on Decision-Theoretic Planning, Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, Apr, 2000.
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus [pdf]Paper  bibtex   
cc-Golog: Towards More Reaslitic Logic-Based Robot Controllers. Grosskreutz, H. & Lakemeyer, G. In Proceedings of AAAI-00, Austin, Texas, Jul, 2000.
cc-Golog: Towards More Reaslitic Logic-Based Robot Controllers [pdf]Paper  bibtex   
An On-line Decision-Theoretic Golog Interpreter. Soutchanski, M. In The 2nd International Cognitive Robotics Workshop (held in conjunction with ECAI-2000) , Berlin, Germany, August, 2000.
An On-line Decision-Theoretic Golog Interpreter [pdf]Paper  bibtex   
LeGolog: Inexpensive Experiments in Cognitive Robotics. Levesque, H. & Pagnucco, M. In Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany, August, 2000.
LeGolog: Inexpensive Experiments in Cognitive Robotics [pdf]Paper  bibtex   
1999 (1)
Extending ConGolog to Allow Partial Ordering. Baral, C. & Cao Son, T. In Proceedings of ATAL-99, pages 188–204, 1999.
Extending ConGolog to Allow Partial Ordering [pdf]Paper  bibtex   
1998 (1)
Sequential, Temporal GOLOG. Reiter, R. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), pages 547–556, Trento, Italy, 1998.
Sequential, Temporal GOLOG [pdf]Paper  bibtex   
1997 (4)
An Experiment in Using Golog to Build a Personal Banking Assistant. Lespérance, Y., Levesque, H. J., & Ruman, S. In Rao, L. & Wobcke, W., editors, Intelligent Agent Systems: Theoretical and Practical Issues, volume 1209, of Lectures Notes in Artificial Intelligence (LNAI), pages 27–43, 1997. Springer-Verlag.
An Experiment in Using Golog to Build a Personal Banking Assistant [pdf]Paper  bibtex   
Specifying Communicative Multi-Agent Systems with ConGolog. Shapiro, S., Lespérance, Y., & Levesque, H. J. In In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pages 72–82, Cambridge, MA, Novemeber, 1997. AAAI Press.
Specifying Communicative Multi-Agent Systems with ConGolog [pdf]Paper  bibtex   
Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. De Giacomo, G., Lespérance, Y., & Levesque, H. In Proceedings of the Fifteenth International Joint Conference on AI (IJCAI-97), pages 1221–1226, Nagoya, August, 1997.
Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus [pdf]Paper  bibtex   
GOLOG: A Logic Programming Language for Dynamic Domains. Levesque, H., Reiter, R., Lespérance, Y., Lin, F., & Scherl, R. Journal of Logic Programming, 31:59–84, 1997.
GOLOG: A Logic Programming Language for Dynamic Domains [pdf]Paper  bibtex