Publications

Export 13 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Title is L  [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]
L
Niemueller, T., A. Ferrein, and G. Lakemeyer, "A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao", RoboCup 2009: Robot Soccer World Cup XIII, vol. 5949, Graz, Austria, Springer, pp. 240-251, 01/07/2009, 2010. Abstract
Ferrein, A., and G. Lakemeyer, "Logic-based Robot Control in Highly Dynamic Domains", Robotics and Autonomous Systems, vol. 56, issue Special Issue on "Semantic Knowledge in Robotics", no. 11: Elsevier, pp. 980-991, 2008.  Download: readylog.pdf (417.08 KB)
Liu, Y., G. Lakemeyer, and H. J. Levesque, "A Logic of Limited Belief for Reasoning with Disjunctive Information", 9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004): AAAI Press, pp. 587--597, 2004.  Download: LiuKR04LimitedBelief.pdf (146.76 KB)
Levesque, and G. Lakemeyer, The Logic of Knowledge Bases, : MIT Press, 2001.
Rens, G., T. Meyer, A. Ferrein, and G. Lakemeyer, "A Logic for Specifying Partially Observable Stochastic Domains", Nonmonotonic Reasoning, Action, and Change (NRAC 2011), Barcelona, Spain, to appear, 2011.
Claßen, J., and G. Lakemeyer, "A Logic for Non-Terminating Golog Programs", Proceedings of the 11th 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)
Lakemeyer, G., "Limited Reasoning in first-order knowledge bases with full introspection", Artificial Intelligence, vol. 84, pp. 209--255, 1996.  Download: lakemeyer1996_2.pdf (428.47 KB)
Lakemeyer, G., "Limited Reasoning in first-order knowledge bases", Artificial Intelligence, vol. 71, pp. 1--42, 1994.  Download: lakemeyer1994.pdf (377.78 KB)
Halpern, J. Y., and G. Lakemeyer, "Levesque's axiomatization of only knowing is incomplete", Artificial Intelligence, vol. 74, no. 2, pp. 381--387, 1995.  Download: halpern1995.pdf (147.74 KB)
Konur, S., A. Ferrein, and G. Lakemeyer, "Learning Decision Trees for Action Selection in Soccer Agents", Proc. of Workshop on Agents in dynamic and real-time environments, 2004.  Download: Konur2004Learning.pdf (140.9 KB)
Strack, A., A. Ferrein, and G. Lakemeyer, "Laser-Based Localization with Sparse Landmarks", Proc. RoboCup 2005 Symposium, 2005.  Download: Strack2005LaserBased.pdf (353.5 KB)
Strack, A., A. Ferrein, and G. Lakemeyer, "Laser-Based Localization with Sparse Landmarks", RoboCup 2005: Robot Soccer World Cup IX, vol. 4020: Springer, pp. 569-576, 2006.
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)