Publications

Export 166 results:
Sort by: Author Title Type [ Year  (Desc)]
2010
Belle, V., and G. Lakemeyer, "Multi-Agent Only-Knowing Revisited", Principles of Knowledge Representation and Reasoning (KR-2010), Toronto, Canada, AAAI Press, 2010.  Download: BelleLakKR10.pdf (216.62 KB)
Ferrein, A., and G. Steinbauer, "On the way to high-level programming for resource-limited embedded systems with golog.", Simulation, Modeling, and Programming for Autonomous Robots Proceedings of the 2nd International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2010), vol. 6472: Springer, pp. 229-240, 2010.
Belle, V., and G. Lakemeyer, "Reasoning about Imperfect Information Games in the Epistemic Situation Calculus", Twenty-Fourth Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA, AAAI Press, 2010.  Download: BelleLakAI.pdf (285.52 KB)
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., "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.
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.
Subramanian, K., "Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models", Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), Student Paper, Atlanta, Georgia, USA, AAAI Press, 2010.  Download: Subramanian_AAAI.pdf (189.07 KB)
2009
Ferrein, A., S. Schiffer, and G. Lakemeyer, "Embedding Fuzzy Controllers into Golog", Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'09), ICC Jeju, Jeju Island, Korea, IEEE, pp. 894--899, August 20-24, 2009. Abstract  Download: fuzz-ieee2009pole.pdf (562.67 KB)
Beck, D., A. Ferrein, and G. Lakemeyer, "Landmark-based Representations for Navigating Holonomic Soccer Robots", RoboCup 2008: Robot Soccer World Cup XII, vol. 5399, Suzhou, China, pp. 25-36, 16/07/2008, 2009.  Download: landmark_based.pdf (376.03 KB)
Beck, D., and G. Lakemeyer, "Reinforcement Learning for Golog Programs", Relational Approaches to Knowledge Representation and Learning, Workshop at the 32nd Annual Conference on Artificial Intelligence (KI-2009), issue 354, Paderborn, Germany, FernUniversität in Hagen, pp. 64-78, 15/09/2009.  Download: relkrl09.pdf (216.69 KB)
Claßen, J., and G. Lakemeyer, "Tractable First-Order Golog with Disjunctive Knowledge Bases", Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), Toronto, Canada, UTSePress, pp. 27--33, 05/2009. Abstract  Download: CL_TractableGolog.pdf (173.22 KB)
Rens, G., A. Ferrein, and E. van der Poel, "A BDI agent architecture for a POMDP planner", Nineth International Symposium on Logical Formalizations of Commonsense Reasoning: UTSePress, 2009.
Liu, Y., and G. Lakemeyer, "On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond", Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09): AAAI Press, 2009.  Download: LiuLak_LocalEffects_ijcai09.pdf (162.97 KB)
Wisspeintner, T., T. van der Zant, L. Iocchi, and S. Schiffer, "RoboCup@Home: Results in Benchmarking Domestic Service Robots", RoboCup Symposium 2009, vol. 5949, Graz, Austria, pp. 390--401, 2009. Abstract  Download: robocup2009home.pdf (114.81 KB)
Wisspeintner, T., T. van der Zant, L. Iocchi, and S. Schiffer, "RoboCup@Home: Scientific Competition and Benchmarking for Domestic Service Robots", Interaction Studies, vol. 10, issue Special Issue: Robots in the Wild, no. 3: John Benjamin Publishing, pp. 392--426, 2009. Abstract
Jacobs, S., A. Ferrein, S. Schiffer, D. Beck, and G. Lakemeyer, "Robust Collision Avoidance in Unknown Domestic Environments", RoboCup 2009: Robot Soccer World Cup XIII, vol. 5949, Graz, Austria, Springer, pp. 116--127, 2009.  Download: robocup2009colli.pdf (314.63 KB)
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)
2008
Ferrein, A., S. Schiffer, and G. Lakemeyer, "A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus", International Conference on Intelligent Robotics and Applications (ICIRA), vol. 5314, Wuhan, China, Springer, pp. 498--509, October 15-17, 2008. Abstract  Download: icira2008fuzzy.pdf (264.8 KB)
Belle, V., T. Deselaers, and S. Schiffer, "Randomized Trees for Real-Time One-Step Face Detection and Recognition", Proceedings of the 19th International Conference on Pattern Recognition (ICPR'08), Tampa, Florida, USA, IEEE Computer Society, pp. 1--4, December 8-11, 2008. Abstract  Download: icpr2008rff.pdf (451.13 KB)
Claßen, J., and G. Lakemeyer, "A Logic for Non-Terminating Golog Programs", Proceedings of the Eleventh International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, AAAI Press, pp. 589--599, 09/2008. Abstract  Download: nonterminating.pdf (294.92 KB)
Claßen, J., V. Engelmann, G. Lakemeyer, and G. Röger, "Integrating Golog and Planning: An Empirical Evaluation", Proceedings of the Twelfth International Workshop on Nonmonotonic Reasoning (NMR 2008), no. UNSW-CSE-TR-0819, Sydney, Australia, The University of New South Wales, pp. 10--18, 08/2008. Abstract  Download: integrating_empirical.pdf (291.54 KB)
Belle, V., "Detection and Recognition of Human Faces using Random Forests for a Mobile Robot", Knowledge-based Systems Group, RWTH Aachen, Aachen, RWTH Aachen, pp. 112, 04/2008.
Vassos, S., G. Lakemeyer, and H.. J. Levesque, "First-Order Strong Progression for Local-Effect Basic Action Theories", 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, AAAI Press, 2008.  Download: localeffect.pdf (176.82 KB)