Author: Gerhard Lakemeyer [RDF, Bibtex, BibBase] has 107 publications

See also:


Multi-Agent Only-Knowing Revisited Vaishak Belle, Gerhard Lakemeyer. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 2010


Self-Maintenance for Autonomous Robots controlled by ReadyLog Stefan Schiffer, Andreas Wortmann, Gerhard Lakemeyer, Felix Ingrand, Jeremie Guiochet. Proceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments 101--107 2010


On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond Yongmei Liu, Gerhard Lakemeyer. IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 860-866 2009


A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao Tim Niemüller, Alexander Ferrein, Gerhard Lakemeyer. RoboCup 2009: Robot Soccer World Cup XIII [papers from the 13th annual RoboCup International Symposium, Graz, Austria, June 29 - July 5, 2009] 240-251 2009


Robust Collision Avoidance in Unknown Domestic Environments Stefan Jacobs, Alexander Ferrein, Stefan Schiffer 0002, Daniel Beck, Gerhard Lakemeyer. RoboCup 2009: Robot Soccer World Cup XIII [papers from the 13th annual RoboCup International Symposium, Graz, Austria, June 29 - July 5, 2009] 116-127 2009


A Semantical Account of Progression in the Presence of Defaults Gerhard Lakemeyer, Hector J. Levesque. IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 842-847 2009


A Semantical Account of Progression in the Presence of Defaults Gerhard Lakemeyer, Hector J. Levesque. Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos 82-98 2009


Repairing Decision-Theoretic Policies Using Goal-Oriented Planning Christoph Mies, Alexander Ferrein, Gerhard Lakemeyer. KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings 267-275 2008


Continuous, Requirements-Driven Support for Organizations, Networks, and Communities Matthias Jarke, Ralf Klamma, Gerhard Lakemeyer, Dominik Schmitz. Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008 47-50 2008


Modelling Actor Evolution in Agent-Based Simulations Aristama Roesli, Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke. Organized Adaption in Multi-Agent Systems, First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers 126-144 2008


Landmark-Based Representations for Navigating Holonomic Soccer Robots Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer. RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, Suzhou, China, July 15-18, 2008] 25-36 2008


A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus Alexander Ferrein, Stefan Schiffer 0002, Gerhard Lakemeyer. Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I 498-509 2008


A Robust Speech Recognition System for Service-Robotics Applications Masrur Doostdar, Stefan Schiffer 0002, Gerhard Lakemeyer. RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, Suzhou, China, July 15-18, 2008] 1-12 2008


A Logic for Non-Terminating Golog Programs Jens Classen, Gerhard Lakemeyer. Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008 589-599 2008


Logic-based robot control in highly dynamic domains Alexander Ferrein, Gerhard Lakemeyer. Robotics and Autonomous Systems 980-991 2008


On the Expressiveness of Levesque's Normal Form Yongmei Liu, Gerhard Lakemeyer. J. Artif. Intell. Res. (JAIR) 259-272 2008


First-Order Strong Progression for Local-Effect Basic Action Theories Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque. Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008 662-672 2008


ESP: A Logic of Only-Knowing, Noisy Sensing and Acting Alfredo Gabaldon, Gerhard Lakemeyer. Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada 974-979 2007


A Situation-Calculus Semantics for an Expressive Fragment of PDDL Jens Classen, Yuxiao Hu, Gerhard Lakemeyer. Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada 956-961 2007


A Simulation Environment for Middle-Size Robots with Multi-level Abstraction Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer. RoboCup 2007: Robot Soccer World Cup XI, July 9-10, 2007, Atlanta, GA, USA 136-147 2007


Towards an Integration of Golog and Planning Jens Classen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 1846-1851 2007


RoboCup 2006: Robot Soccer World Cup X Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi. RoboCup 2006: Robot Soccer World Cup X Lecture Notes in Computer Science 2007


Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog Lutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer. KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings 352-366 2007


A Situation-Calculus Semantics for an Expressive Fragment of PDDL Jens Classen, Yuxiao Hu, Gerhard Lakemeyer. Proceedings of the Twentysecond Conference on Artificial Intelligence (AAAI-07) 2007


Comparing Three Formal Analysis Approaches of the Tropos Family Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke. Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers 164-182 2006


Towards an Axiom System for Default Logic Gerhard Lakemeyer, Hector J. Levesque. Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA 2006


Foundations for Knowledge-Based Programs using ES Jens Classen, Gerhard Lakemeyer. Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 318-318 2006


Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz. Inf. Syst. 587-607 2005


Using Golog for Deliberation and Team Coordination in Robotic Soccer Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. KI 24- 2005


Using Golog for Deliberation and Team Coordination in Robotic Soccer Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. KI 24-31 2005


Laser-Based Localization with Sparse Landmarks Andreas Strack, Alexander Ferrein, Gerhard Lakemeyer. RoboCup 2005: Robot Soccer World Cup IX 569-576 2005


Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG Stefan Jacobs, Alexander Ferrein, Gerhard Lakemeyer. Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference, June 1-5, 2005, Marina del Rey, California, USA 151-152 2005


Comparing Sensor Fusion Techniques for Ball Position Estimation Alexander Ferrein, Lutz Hermanns, Gerhard Lakemeyer. RoboCup 2005: Robot Soccer World Cup IX 154-165 2005


Using Golog for Deliberation and Team Coordination in Robotic Soccer Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. KI 24-31 2005


Distributed Multi-robot Localization Based on Mutual Path Detection Vazha Amiranashvili, Gerhard Lakemeyer. KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings 279-290 2005


Semantics for a useful fragment of the situation calculus Gerhard Lakemeyer, Hector J. Levesque. IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005 490-496 2005


Only-Knowing: Taking It Beyond Autoepistemic Reasoning Gerhard Lakemeyer, Hector J. Levesque. Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA 633-638 2005


AllemaniACs 2004 Team Description Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. RoboCup 2004


On-line Decision-Theoretic Golog for Unpredictable Domains Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. Proceedings of The 4th International Cognitive Robotics Workshop (at ECAI04) 2004


AllemaniACs 2004 Team Description Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. RoboCup 2004


Towards a League-Independent Qualitative Soccer Theory for RoboCup Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser, Thomas Wagner. RoboCup 2004: Robot Soccer World Cup VIII 611-618 2004


On-line Decision-Theoretic Golog for Unpredictable Domains Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. Proceedings of 27th German Conference on AI (KI) 322--336 2004


On-line Decision-Theoretic Golog for Unpredictable Domains Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. Proceedings of 27th German Conference on AI (KI) 322--336 2004


On-Line Decision-Theoretic Golog for Unpredictable Domains Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings 322-336 2004


SNet Reloaded: Roles, Monitoring and Agent Evolution Günter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer. Agent-Oriented Information Systems II, 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004,Revised Selected Papers 68-84 2004


A Logic of Limited Belief for Reasoning with Disjunctive Information Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque. Proc. KR-04 587--597 2004


Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks Dominik Schmitz, Gerhard Lakemeyer, Günter Gans, Matthias Jarke. On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings 520-532 2004


Situations, Si! Situation Terms, No! Gerhard Lakemeyer, Hector J. Levesque. Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 516-526 2004


A Logic of Limited Belief for Reasoning with Disjunctive Information Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque. Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 587-597 2004


ccGolog -- A Logical Language Dealing with Continuous Change Henrik Grosskreutz, Gerhard Lakemeyer. Logic Journal of the IGPL 179-221 2003


Probabilistic Complex Actions in GOLOG Henrik Grosskreutz, Gerhard Lakemeyer. Fundam. Inform. 167-192 2003


Extending DTGolog with Options Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 1394--1395 2003


Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz. Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings 242-257 2003


Extending DTGolog with Options Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 1394--1395 2003


Extending DTGOLOG with Options Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer. IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 1394-1395 2003


Continuous requirements management for organisation networks: a (dis)trust-based approach Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer. Requir. Eng. 4-22 2003


An Autonomous Real-Time Camera Agent for Interactive Narratives and Games Alexander Hornung, Gerhard Lakemeyer, Georg Trogemann. Intelligent Agents, 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003, Proceedings 236-243 2003


The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002) Jana Koehler, Gerhard Lakemeyer. AI Magazine 97-98 2003


What Observations Really Tell Us Gero Iwan, Gerhard Lakemeyer. KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings 194-208 2003


KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings Matthias Jarke, Jana Koehler, Gerhard Lakemeyer. KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings Lecture Notes in Computer Science 2002


Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases Gerhard Lakemeyer. Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 73-81 2002


SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog Günter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits. Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings 328-343 2002


On-Line Execution of cc-Golog Plans Henrik Grosskreutz, Gerhard Lakemeyer. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001 12-18 2001


Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, Martin Meister. 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada 154-165 2001


The Logic of Knowledge Bases Hector J. Levesque, Gerhard Lakemeyer. The Logic of Knowledge Bases 2001


Belief Update in the pGOLOG Framework Henrik Grosskreutz, Gerhard Lakemeyer. KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings 213-228 2001


Multi-agent Only Knowing Joseph Y. Halpern, Gerhard Lakemeyer. J. Log. Comput. 41-70 2001


Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework Henrik Grosskreutz, Gerhard Lakemeyer. KI 11-15 2000


Turning High-Level Plans into Robot Programs in Uncertain Domains Henrik Grosskreutz, Gerhard Lakemeyer. ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000 548-552 2000


Multi-Agent Only Knowing Joseph Y. Halpern, Gerhard Lakemeyer. CoRR 2000


Querying AOL Knowledge Bases Gerhard Lakemeyer, Hector J. Levesque. Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday) 225-244 2000


cc-Golog: Towards More Realistic Logic-Based Robot Controllers Henrik Grosskreutz, Gerhard Lakemeyer. CoRR 2000


cc-Golog: Towards More Realistic Logic-Based Robot Controllers Henrik Grosskreutz, Gerhard Lakemeyer. Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA 476-482 2000


Experiences with an Interactive Museum Tour-Guide Robot Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun. Artif. Intell. 3-55 1999


On Sensing and Off-Line Interpreting in Golog Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri. Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter 173--187 1999


Query evaluation and progression in AOL knowledge bases Gerhard Lakemeyer, Hector J. Levesque. Proc. IJCAI-99 1999


Query Evaluation and Progression in AOL Knowledge Bases Gerhard Lakemeyer, Hector J. Levesque. Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages 124-131 1999


GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer. KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings 165-176 1998


The Museum Tour-Guide Robot RHINO Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun. Autonome Mobile Systeme 1998, 14. Fachgespräch, Karlsruhe, 30. November - 1. Dezember 1998 245-254 1998


The Interactive Museum Tour-Guide Robot Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun. AAAI/IAAI 11-18 1998


AOL: A logic of Acting, Sensing, Knowing, and Only Knowing Gerhard Lakemeyer, Hector J. Levesque. KR 316-329 1998


Relevance from an Epistemic Perspective Gerhard Lakemeyer. Artif. Intell. 137-167 1997


Only Knowing in the Situation Calculus Gerhard Lakemeyer. KR 14-25 1996


Limited Reasoning in First-Order Knowledge Bases with Full Introspection Gerhard Lakemeyer. Artif. Intell. 209-255 1996


Belief Revision in a Nonclassical Logic Gerhard Lakemeyer, Wilfried Lang. KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings 199-211 1996


Multi-Agent Only Knowing Joseph Y. Halpern, Gerhard Lakemeyer. Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, March 17-20 1996 251-265 1996


Levesque's Axiomatization of only Knowing is Incomplete Joseph Y. Halpern, Gerhard Lakemeyer. Artif. Intell. 381-387 1995


Ist die Wissensrepräsentation tot? Ulrich Furbach, Hans Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe. KI 18-26 1995


A Logical Account of Relevance Gerhard Lakemeyer. IJCAI (1) 853-861 1995


Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop] Gerhard Lakemeyer, Bernhard Nebel. Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop] Lecture Notes in Computer Science 1994


Enhancing the Power of a Decidable First-Order Reasoner Gerhard Lakemeyer, Susanne Meyer. KR 403-414 1994


Limited Reasoning in First-Order Knowledge Bases Gerhard Lakemeyer. Artif. Intell. 213-255 1994


Epistemic Queries in Classic Andreas Becker, Gerhard Lakemeyer. KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings 190-201 1994


All They Know: A Study in Multi-Agent Autoepistemic Reasoning Gerhard Lakemeyer. IJCAI 376-381 1993


All They Know About Gerhard Lakemeyer. AAAI 662-667 1993


Foundations of Knowledge Representation and Reasoning Gerhard Lakemeyer, Bernhard Nebel. Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop] 1-12 1992


On perfect introspection with Quantifying-in Gerhard Lakemeyer. Fundam. Inform. 75-98 1992


On Perfect Introspection With Quantifying-in Gerhard Lakemeyer. Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1992 199-213 1992


All You Ever Wanted to Know about Tweety (But Were Afraid to Ask) Gerhard Lakemeyer. KR 639-648 1992


All I Know About Tweety Gerhard Lakemeyer. Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings 241-253 1991


A Model of Decidable Introspective Reasoning with Quantifying-In Gerhard Lakemeyer. IJCAI 492-497 1991


On the Relation between Explicit and Implicit Belief Gerhard Lakemeyer. KR 368-375 1991


A Computationally Attractive First-Order Logic of Belief Gerhard Lakemeyer. Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings 333-347 1990


Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection Gerhard Lakemeyer. AAAI 531-537 1990


A Tractable Knowledge Representation Service with Full Introspection Gerhard Lakemeyer, Hector J. Levesque. Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988 145-159 1988


Tractable Meta-Reasoning in Propositional Logics of Belief Gerhard Lakemeyer. IJCAI 401-408 1987


Steps Towards a First-Order Logic of Explicit and Implicit Belief Gerhard Lakemeyer. Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986 325-340 1986