Gerhard Lakemeyer

Gerhard Lakemeyer: First competition section paper published. Artif. Intell. 198: 72 (2013)

Radhakrishnan Delhibabu, Gerhard Lakemeyer: A Rational and Efficient Algorithm for View Revision in Databases. CoRR abs/1301.5154 (2013)

Daniel Beck, Gerhard Lakemeyer: Reinforcement learning for Golog programs with first-order state-abstraction. Logic Journal of the IGPL 20(5): 909-942 (2012)

Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer: Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus. Journal of Intelligent and Robotic Systems 66(1-2): 273-300 (2012)

Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel: Platas - Integrating Planning and the Action Language Golog. KI 26(1): 61-67 (2012)

Hector J. Levesque, Gerhard Lakemeyer: The Truth about Defaults. Correct Reasoning 2012: 422-435

Gerhard Lakemeyer: Multi-agent Only-Knowing. CLIMA 2012: 25

Daniel Beck, Gerhard Lakemeyer: Representing Value Functions with Recurrent Binary Decision Diagrams. ECAI 2012: 139-144

Gerhard Lakemeyer, Yves Lespérance: Efficient Reasoning in Multiagent Epistemic Logics. ECAI 2012: 498-503

Stefan Schiffer, Niklas Hoppe, Gerhard Lakemeyer: Flexible Command Interpretation on an Interactive Domestic Service Robot. ICAART (1) 2012: 26-35

Tim Niemueller, Gerhard Lakemeyer, Siddhartha S. Srinivasa: A generic robot database and its application in fault analysis and performance evaluation. IROS 2012: 364-369

Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer: Plan Recognition by Program Execution in Continuous Temporal Domains. KI 2012: 156-167

Gerhard Lakemeyer, Hector J. Levesque: Only-Knowing Meets Nonmonotonic Modal Logic. KR 2012

Gavin Rens, Gerhard Lakemeyer, Thomas Meyer: A Logic for Specifying Agent Actions and Observations with Probability. STAIRS 2012: 252-263

Gerhard Lakemeyer, Hector J. Levesque: A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. 175(1): 142-164 (2011)

Vaishak Belle, Gerhard Lakemeyer: A Semantical Account of Progression in the Presence of Uncertainty. AAAI 2011

Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer: Fuzzy Representations and Control for Domestic Service Robots in Golog. ICIRA (2) 2011: 241-250

Stefan Schiffer, Tobias Baumgartner, Gerhard Lakemeyer: A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot. ICIRA (2) 2011: 348-357

Vaishak Belle, Gerhard Lakemeyer: On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. IJCAI 2011: 744-749

Gerhard Lakemeyer: The Situation Calculus: A Case for Modal Logic. Journal of Logic, Language and Information 19(4): 431-450 (2010)

Vaishak Belle, Gerhard Lakemeyer: Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. AAAI 2010

Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer: Analyzing Agent-Based Simulations of Inter-organizational Networks. ADMI 2010: 87-102

Jens Claßen, Gerhard Lakemeyer: On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. ECAI 2010: 887-892

Vaishak Belle, Gerhard Lakemeyer: Multi-Agent Only-Knowing Revisited. KR 2010

Tim Niemüller, Alexander Ferrein, Daniel Beck, Gerhard Lakemeyer: Design Principles of the Component-Based Robot Software Framework Fawkes. SIMPAR 2010: 300-311

Vaishak Belle, Gerhard Lakemeyer: Multi-Agent Only-Knowing Revisited. CoRR abs/1009.2041 (2010)

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

Alexander Ferrein, Stefan Schiffer, Gerhard Lakemeyer: Embedding fuzzy controllers in golog. FUZZ-IEEE 2009: 894-899

Gerhard Lakemeyer, Hector J. Levesque: A Semantical Account of Progression in the Presence of Defaults. IJCAI 2009: 842-847

Yongmei Liu, Gerhard Lakemeyer: On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI 2009: 860-866

Stefan Jacobs, Alexander Ferrein, Stefan Schiffer, Daniel Beck, Gerhard Lakemeyer: Robust Collision Avoidance in Unknown Domestic Environments. RoboCup 2009: 116-127

Tim Niemüller, Alexander Ferrein, Gerhard Lakemeyer: A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao. RoboCup 2009: 240-251

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

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

Aristama Roesli, Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke: Modelling Actor Evolution in Agent-Based Simulations. AAMAS-OAMAS 2008: 126-144

Alexander Ferrein, Stefan Schiffer, Gerhard Lakemeyer: A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus. ICIRA (1) 2008: 498-509

Matthias Jarke, Ralf Klamma, Gerhard Lakemeyer, Dominik Schmitz: Continuous, Requirements-Driven Support for Organizations, Networks, and Communities. iStar 2008: 47-50

Christoph Mies, Alexander Ferrein, Gerhard Lakemeyer: Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. KI 2008: 267-275

Jens Claßen, Gerhard Lakemeyer: A Logic for Non-Terminating Golog Programs. KR 2008: 589-599

Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque: First-Order Strong Progression for Local-Effect Basic Action Theories. KR 2008: 662-672

Masrur Doostdar, Stefan Schiffer, Gerhard Lakemeyer: A Robust Speech Recognition System for Service-Robotics Applications. RoboCup 2008: 1-12

Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer: Landmark-Based Representations for Navigating Holonomic Soccer Robots. RoboCup 2008: 25-36

Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer: A Situation-Calculus Semantics for an Expressive Fragment of PDDL. AAAI 2007: 956-961

Alfredo Gabaldon, Gerhard Lakemeyer: ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI 2007: 974-979

Laurent Calmes, Hermann Wagner, Stefan Schiffer, Gerhard Lakemeyer: Combining Sound Localization and Laser-based Object Recognition. AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics 2007: 1-6

Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel: Towards an Integration of Golog and Planning. IJCAI 2007: 1846-1851

Lutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer: Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. KI 2007: 352-366

Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer: A Simulation Environment for Middle-Size Robots with Multi-level Abstraction. RoboCup 2007: 136-147

Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi (Eds.): RoboCup 2006: Robot Soccer World Cup X. Lecture Notes in Computer Science 4434, Springer 2007, isbn 978-3-540-74023-0

Gerhard Lakemeyer, Hector J. Levesque: Towards an Axiom System for Default Logic. AAAI 2006: 263-268

Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke: Comparing Three Formal Analysis Approaches of the Tropos Family. AOIS 2006: 164-182

Jens Claßen, Gerhard Lakemeyer: Foundations for Knowledge-Based Programs using ES. KR 2006: 318-328

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

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

Gerhard Lakemeyer, Hector J. Levesque: Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI 2005: 633-638

Stefan Jacobs, Alexander Ferrein, Gerhard Lakemeyer: Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. AIIDE 2005: 151-152

Gerhard Lakemeyer, Hector J. Levesque: Semantics for a useful fragment of the situation calculus. IJCAI 2005: 490-496

Vazha Amiranashvili, Gerhard Lakemeyer: Distributed Multi-robot Localization Based on Mutual Path Detection. KI 2005: 279-290

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

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

Günter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer: SNet Reloaded: Roles, Monitoring and Agent Evolution. AOIS 2004: 68-84

Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer: On-Line Decision-Theoretic Golog for Unpredictable Domains. KI 2004: 322-336

Gerhard Lakemeyer, Hector J. Levesque: Situations, Si! Situation Terms, No! KR 2004: 516-526

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

Dominik Schmitz, Gerhard Lakemeyer, Günter Gans, Matthias Jarke: Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks. OTM Workshops 2004: 520-532

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

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

Henrik Grosskreutz, Gerhard Lakemeyer: Probabilistic Complex Actions in GOLOG. Fundam. Inform. 57(2-4): 167-192 (2003)

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

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

Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz: Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks. CAiSE 2003: 242-257

Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer: Extending DTGOLOG with Options. IJCAI 2003: 1394-1395

Alexander Hornung, Gerhard Lakemeyer, Georg Trogemann: An Autonomous Real-Time Camera Agent for Interactive Narratives and Games. IVA 2003: 236-243

Gero Iwan, Gerhard Lakemeyer: What Observations Really Tell Us. KI 2003: 194-208

Günter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits: SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. CAiSE 2002: 328-343

Gerhard Lakemeyer: Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. KR 2002: 73-81

Matthias Jarke, Jana Koehler, Gerhard Lakemeyer (Eds.): 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 2479, Springer 2002, isbn 3-540-44185-9

Joseph Y. Halpern, Gerhard Lakemeyer: Multi-agent Only Knowing. J. Log. Comput. 11(1): 41-70 (2001)

Henrik Grosskreutz, Gerhard Lakemeyer: On-Line Execution of cc-Golog Plans. IJCAI 2001: 12-18

Henrik Grosskreutz, Gerhard Lakemeyer: Belief Update in the pGOLOG Framework. KI/ÖGAI 2001: 213-228

Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, Martin Meister: Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. RE 2001: 154-165

Hector J. Levesque, Gerhard Lakemeyer: The logic of knowledge bases. MIT Press 2000, isbn 978-0-262-12232-0, pp. I-XVIII, 1-282

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

Henrik Grosskreutz, Gerhard Lakemeyer: cc-Golog: Towards More Realistic Logic-Based Robot Controllers. AAAI/IAAI 2000: 476-482

Gerhard Lakemeyer, Hector J. Levesque: Querying AOL Knowledge Bases. Intellectics and Computational Logic 2000: 225-244

Henrik Grosskreutz, Gerhard Lakemeyer: Turning High-Level Plans into Robot Programs in Uncertain Domains. ECAI 2000: 548-552

Joseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing. CoRR cs.AI/0001015 (2000)

Henrik Grosskreutz, Gerhard Lakemeyer: cc-Golog: Towards More Realistic Logic-Based Robot Controllers. CoRR cs.AI/0003032 (2000)

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

Gerhard Lakemeyer, Hector J. Levesque: Query Evaluation and Progression in AOL Knowledge Bases. IJCAI 1999: 124-131

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

Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun: The Museum Tour-Guide Robot RHINO. AMS 1998: 245-254

Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer: GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. KI 1998: 165-176

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

Gerhard Lakemeyer: Relevance from an Epistemic Perspective. Artif. Intell. 97(1-2): 137-167 (1997)

Gerhard Lakemeyer: Limited Reasoning in First-Order Knowledge Bases with Full Introspection. Artif. Intell. 84(1-2): 209-255 (1996)

Gerhard Lakemeyer, Wilfried Lang: Belief Revision in a Nonclassical Logic. KI 1996: 199-211

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

Joseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing. TARK 1996: 251-265

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

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

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

Gerhard Lakemeyer: Limited Reasoning in First-Order Knowledge Bases. Artif. Intell. 71(2): 213-255 (1994)

Andreas Becker, Gerhard Lakemeyer: Epistemic Queries in Classic. KI 1994: 190-201

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

Gerhard Lakemeyer, Bernhard Nebel (Eds.): Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]. Lecture Notes in Computer Science 810, Springer 1994, isbn 3-540-58107-3

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

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

Gerhard Lakemeyer: On perfect introspection with Quantifying-in. Fundam. Inform. 17(1-2): 75-98 (1992)

Gerhard Lakemeyer, Bernhard Nebel: Foundations of Knowledge Representation and Reasoning. ECAI Workshop on Knowledge Representation and Reasoning 1992: 1-12

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

Gerhard Lakemeyer: On Perfect Introspection With Quantifying-in. TARK 1992: 199-213

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

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

Gerhard Lakemeyer: All I Know About Tweety. Nonmonotonic and Inductive Logic 1991: 241-253

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

Gerhard Lakemeyer: A Computationally Attractive First-Order Logic of Belief. JELIA 1990: 333-347

Gerhard Lakemeyer, Hector J. Levesque: A Tractable Knowledge Representation Service with Full Introspection. TARK 1988: 145-159

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

Gerhard Lakemeyer: Steps Towards a First-Order Logic of Explicit and Implicit Belief. TARK 1986: 325-340