Publications

Export 16 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
S
Schiffer, S., A. Wortmann, and G. Lakemeyer, "Self-Maintenance for Autonomous Robots in the Situation Calculus", Cognitive Robotics, no. 10081, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. Abstract
Lakemeyer, G., and H. J. Levesque, "A semantic characterization of a useful fragment of the situation calculus with knowledge", Artificial Intelligence, vol. 175, no. 1: Elsevier, pp. 142-164, 2011.
Lakemeyer, G., and H. Levesque, "A Semantical Account of Progression in the Presence of Defaults", Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, USA, AAAI Press, 2009.  Download: LakLev_Progression_ijcai09.pdf (109.23 KB)
Belle, V., and G. Lakemeyer, "A Semantical Account of Progression in the Presence of Uncertainty", Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), San Francisco, USA, AAAI Press , to appear, 2011. Abstract  Download: prog-noisy.pdf (177.82 KB)
Lakemeyer, G., and H. J. Levesque, "Semantics for a useful fragment of the situation calculus", Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05): Morgan Kaufmann Publishers Inc., pp. 490--496, 2005.  Download: Lakemeyer2005Semantic.pdf (140.54 KB)
Claßen, J., and G. Lakemeyer, "A Semantics for ADL as Progression in the Situation Calculus", Proceedings of the 11th Workshop on Nonmonotonic Reasoning (NMR 2006), Windermere, United Kingdom, Institut für Informatik, TU Clausthal, pp. 334--341, 06/2006. Abstract  Download: ClaLak06ADLSemantics.pdf (177.41 KB)
Beck, D., A. Ferrein, and G. Lakemeyer, "A Simulation Environment for Middle-size Robots with Multi-level Abstraction", RoboCup 2007: Robot Soccer World Cup XI, vol. 5001, Atlanta, USA, Springer, pp. 136-147, 2008.  Download: BeckFerreinLakemeyer2007Simulation.pdf (311.59 KB)
Lakemeyer, G., "The Situation Calculus: A Case for Modal Logic", Journal of Logic, Language and Information, vol. 19, issue "Temporal Logics of Agency", no. 4: Springer, pp. 431-450, 2010.
Claßen, J., Y. Hu, and G. Lakemeyer, "A Situation-Calculus Semantics for an Expressive Fragment of PDDL", Proceedings of the 22nd Conference on Artificial Intelligence (AAAI 2007), Vancouver, Canada, AAAI Press, pp. 956--961, 07/2007. Abstract  Download: ClassenHuLakemeyer2007PDDL.pdf (280.7 KB)
Lakemeyer, G., and H. J. Levesque, "Situations, si! Situation Terms, no!", 9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004): AAAI Press, pp. 516 - 526, 2004.  Download: LakKR04SiNo.pdf (134.24 KB)
Gans, G., D. Schmitz, M. Jarke, and G. Lakemeyer, "SNet Reloaded: Roles, Monitoring, and Agent Evolution", Proceedings of the 6th Workshop on Agent-Oriented Information Systems, AOIS, New York, USA, pp. 2-16, July, 2004.  Download: GSJL04AOIS.pdf (333.21 KB)
Gans, G., M. Jarke, G. Lakemeyer, and T. Vits, "SNet}: A Modeling and Simulation Environment for Agent Networks Based on i* and {ConGolog", CAiSE02, Canada, Toronto, Springer, pp. 328--343, May, 2002.  Download: Gans2002SNet.pdf (415.8 KB)
Dylla, F., A. Ferrein, and G. Lakemeyer, "Specifying Multirobot Coordination in ICPGolog -- From Simulation towards Real Robots", AOS-4 at IJCAI-03, 2003.  Download: Dylla2003Specifying_1.pdf (183.63 KB)
Ferrein, A., "Specifying Soccer Moves with Golog", Proc. 5th Conference dvs-Section Computer Science in Sport, 2004.
Rens, G., I. Varzinczak, T. Meyer, and A. Ferrein, "A specification logic for reasoning about actions and explicit observations", AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, vol. 6464: Springer, pp. 395-404, 2010.
Dylla, F., and G. Lakemeyer, "A Speech Interface for a Mobile Robot controlled by GOLOG", Proc. of the 2nd International Cognitive Robotics Workshop (CogRob-00) at the European Conference on Artificial Intelligence (ECAI-00), 2000.  Download: Dylla2000A.pdf (236.37 KB)