Steps Towards a First-Order Logic of Explicit and Implicit Belief. - Gerhard Lakemeyer (TARK, 1986)

Tractable Meta-Reasoning in Propositional Logics of Belief. - Gerhard Lakemeyer (IJCAI, 1987)

A Tractable Knowledge Representation Service with Full Introspection. - Gerhard Lakemeyer; Hector J. Levesque (TARK, 1988)

Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. - Gerhard Lakemeyer (AAAI, 1990)

A Computationally Attractive First-Order Logic of Belief. - Gerhard Lakemeyer (JELIA, 1990)

Models of belief for decidable reasoning in incomplete knowledge bases. - Gerhard Lakemeyer (1990)

A Model of Decidable Introspective Reasoning with Quantifying-In. - Gerhard Lakemeyer (IJCAI, 1991)

On the Relation between Explicit and Implicit Belief. - Gerhard Lakemeyer (KR, 1991)

All I Know About Tweety. - Gerhard Lakemeyer (Nonmonotonic and Inductive Logic, 1991)

Foundations of Knowledge Representation and Reasoning. - Gerhard Lakemeyer; Bernhard Nebel (ECAI Workshop on Knowledge Representation and Reasoning, 1992)

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

On perfect introspection with Quantifying-in. - Gerhard Lakemeyer (Fundam. Informaticae, 1992)

All They Know About. - Gerhard Lakemeyer (AAAI, 1993)

All They Know: A Study in Multi-Agent Autoepistemic Reasoning. - Gerhard Lakemeyer (IJCAI, 1993)

Epistemic Queries in Classic. - Andreas Becker; Gerhard Lakemeyer (KI, 1994)

Enhancing the Power of a Decidable First-Order Reasoner. - Gerhard Lakemeyer; Susanne Meyer (KR, 1994)

Limited Reasoning in First-Order Knowledge Bases. - Gerhard Lakemeyer (Artif. Intell., 1994)

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

Levesque's Axiomatization of only Knowing is Incomplete. - Joseph Y. Halpern; Gerhard Lakemeyer (Artif. Intell., 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 (Künstliche Intell., 1995)

Belief Revision in a Nonclassical Logic. - Gerhard Lakemeyer; Wilfried Lang (KI, 1996)

Only Knowing in the Situation Calculus. - Gerhard Lakemeyer (KR, 1996)

Limited Reasoning in First-Order Knowledge Bases with Full Introspection. - Gerhard Lakemeyer (Artif. Intell., 1996)

Relevance from an Epistemic Perspective. - Gerhard Lakemeyer (Artif. Intell., 1997)

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

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

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

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

Query Evaluation and Progression in AOL Knowledge Bases. - Gerhard Lakemeyer; Hector J. Levesque (IJCAI, 1999)

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

The logic of knowledge bases. - Hector J. Levesque; Gerhard Lakemeyer (MIT Press, 2000)

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

Querying AOL Knowledge Bases. - Gerhard Lakemeyer; Hector J. Levesque (Intellectics and Computational Logic, 2000)

Turning High-Level Plans into Robot Programs in Uncertain Domains. - Henrik Grosskreutz; Gerhard Lakemeyer (ECAI, 2000)

Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework. - Henrik Grosskreutz; Gerhard Lakemeyer (Künstliche Intell., 2000)

On-Line Execution of cc-Golog Plans. - Henrik Grosskreutz; Gerhard Lakemeyer (IJCAI, 2001)

Belief Update in the pGOLOG Framework. - Henrik Grosskreutz; Gerhard Lakemeyer (KI/ÖGAI, 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 002 (RE, 2001)

Multi-agent Only Knowing. - Joseph Y. Halpern; Gerhard Lakemeyer (J. Log. Comput., 2001)

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

Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. - Gerhard Lakemeyer (KR, 2002)

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

Extending DTGOLOG with Options. - Alexander Ferrein; Christian Fritz 001; Gerhard Lakemeyer (IJCAI, 2003)

An Autonomous Real-Time Camera Agent for Interactive Narratives and Games. - Alexander Hornung; Gerhard Lakemeyer; Georg Trogemann (IVA, 2003)

What Observations Really Tell Us. - Gero Iwan; Gerhard Lakemeyer (KI, 2003)

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

Probabilistic Complex Actions in GOLOG. - Henrik Grosskreutz; Gerhard Lakemeyer (Fundam. Informaticae, 2003)

ccGolog – A Logical Language Dealing with Continuous Change. - Henrik Grosskreutz; Gerhard Lakemeyer (Log. J. IGPL, 2003)

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

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

On-Line Decision-Theoretic Golog for Unpredictable Domains. - Alexander Ferrein; Christian Fritz 001; Gerhard Lakemeyer (KI, 2004)

Situations, Si! Situation Terms, No! - Gerhard Lakemeyer; Hector J. Levesque (KR, 2004)

A Logic of Limited Belief for Reasoning with Disjunctive Information. - Yongmei Liu 001; Gerhard Lakemeyer; Hector J. Levesque (KR, 2004)

Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks. - Dominik Schmitz; Gerhard Lakemeyer; Günter Gans; Matthias Jarke (OTM Workshops, 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 005 (RoboCup, 2004)

Only-Knowing: Taking It Beyond Autoepistemic Reasoning. - Gerhard Lakemeyer; Hector J. Levesque (AAAI, 2005)

Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. - Stefan Jacobs 001; Alexander Ferrein; Gerhard Lakemeyer (AIIDE, 2005)

Semantics for a useful fragment of the situation calculus. - Gerhard Lakemeyer; Hector J. Levesque (IJCAI, 2005)

Distributed Multi-robot Localization Based on Mutual Path Detection. - Vazha Amiranashvili; Gerhard Lakemeyer (KI, 2005)

Comparing Sensor Fusion Techniques for Ball Position Estimation. - Alexander Ferrein; Lutz Hermanns; Gerhard Lakemeyer (RoboCup, 2005)

Laser-Based Localization with Sparse Landmarks. - Andreas Strack; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2005)

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

Using Golog for Deliberation and Team Coordination in Robotic Soccer. - Alexander Ferrein; Christian Fritz 001; Gerhard Lakemeyer (Künstliche Intell., 2005)

Towards an Axiom System for Default Logic. - Gerhard Lakemeyer; Hector J. Levesque (AAAI, 2006)

Comparing Three Formal Analysis Approaches of the Tropos Family. - Dominik Schmitz; Gerhard Lakemeyer; Matthias Jarke (AOIS, 2006)

Foundations for Knowledge-Based Programs using ES. - Jens Claßen; Gerhard Lakemeyer (KR, 2006)

A Situation-Calculus Semantics for an Expressive Fragment of PDDL. - Jens Claßen; Yuxiao Hu 002; Gerhard Lakemeyer (AAAI, 2007)

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

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

Towards an Integration of Golog and Planning. - Jens Claßen; Patrick Eyerich; Gerhard Lakemeyer; Bernhard Nebel (IJCAI, 2007)

Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. - Lutz Böhnstedt; Alexander Ferrein; Gerhard Lakemeyer (KI, 2007)

A Simulation Environment for Middle-Size Robots with Multi-level Abstraction. - Daniel Beck; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2007)

Modelling Actor Evolution in Agent-Based Simulations. - Aristama Roesli; Dominik Schmitz; Gerhard Lakemeyer; Matthias Jarke (AAMAS-OAMAS, 2008)

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

Continuous, Requirements-Driven Support for Organizations, Networks, and Communities. - Matthias Jarke; Ralf Klamma; Gerhard Lakemeyer; Dominik Schmitz (iStar, 2008)

Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. - Christoph Mies; Alexander Ferrein; Gerhard Lakemeyer (KI, 2008)

A Logic for Non-Terminating Golog Programs. - Jens Claßen; Gerhard Lakemeyer (KR, 2008)

First-Order Strong Progression for Local-Effect Basic Action Theories. - Stavros Vassos; Gerhard Lakemeyer; Hector J. Levesque (KR, 2008)

Landmark-Based Representations for Navigating Holonomic Soccer Robots. - Daniel Beck; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2008)

A Robust Speech Recognition System for Service-Robotics Applications. - Masrur Doostdar; Stefan Schiffer 002; Gerhard Lakemeyer (RoboCup, 2008)

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

Logic-based robot control in highly dynamic domains. - Alexander Ferrein; Gerhard Lakemeyer (Robotics Auton. Syst., 2008)

Cognitive Robotics. - Hector J. Levesque; Gerhard Lakemeyer (Handbook of Knowledge Representation, 2008)

Embedding fuzzy controllers in golog. - Alexander Ferrein; Stefan Schiffer 002; Gerhard Lakemeyer (FUZZ-IEEE, 2009)

A Semantical Account of Progression in the Presence of Defaults. - Gerhard Lakemeyer; Hector J. Levesque (IJCAI, 2009)

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. - Yongmei Liu 001; Gerhard Lakemeyer (IJCAI, 2009)

Robust Collision Avoidance in Unknown Domestic Environments. - Stefan Jacobs 001; Alexander Ferrein; Stefan Schiffer 002; Daniel Beck; Gerhard Lakemeyer (RoboCup, 2009)

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

Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. - Vaishak Belle; Gerhard Lakemeyer (AAAI, 2010)

Analyzing Agent-Based Simulations of Inter-organizational Networks. - Dominik Schmitz; Thomas Arzdorf; Matthias Jarke; Gerhard Lakemeyer (ADMI, 2010)

Self-Maintenance for Autonomous Robots in the Situation Calculus. - Stefan Schiffer 002; Andreas Wortmann 001; Gerhard Lakemeyer (Cognitive Robotics, 2010)

10081 Abstracts Collection - Cognitive Robotics. - Gerhard Lakemeyer; Hector J. Levesque; Fiora Pirri (Cognitive Robotics, 2010)

Cognitive Robotics. - Hector J. Levesque; Gerhard Lakemeyer (Cognitive Robotics, 2010)

On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. - Jens Claßen; Gerhard Lakemeyer (ECAI, 2010)

Multi-Agent Only-Knowing Revisited. - Vaishak Belle; Gerhard Lakemeyer (KR, 2010)

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

The Situation Calculus: A Case for Modal Logic. - Gerhard Lakemeyer (J. Log. Lang. Inf., 2010)

Requirements Engineering for Trust-Based Interorganizational Networks. - Günter Gans; Matthias Jarke; Stefanie Kethers; Gerhard Lakemeyer; Dominik Schmitz (Social Modeling for Requirements Engineering, 2011)

A Semantical Account of Progression in the Presence of Uncertainty. - Vaishak Belle; Gerhard Lakemeyer (AAAI, 2011)

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

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

On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. - Vaishak Belle; Gerhard Lakemeyer (IJCAI, 2011)

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

The Truth about Defaults. - Hector J. Levesque; Gerhard Lakemeyer (Correct Reasoning, 2012)

Multi-agent Only-Knowing. - Gerhard Lakemeyer (CLIMA, 2012)

Representing Value Functions with Recurrent Binary Decision Diagrams. - Daniel Beck; Gerhard Lakemeyer (ECAI, 2012)

Efficient Reasoning in Multiagent Epistemic Logics. - Gerhard Lakemeyer; Yves Lespérance (ECAI, 2012)

Natural Language Interpretation for an Interactive Service Robot in Domestic Domains. - Stefan Schiffer 002; Niklas Hoppe; Gerhard Lakemeyer (ICAART (Revised Selected Papers), 2012)

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

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

Plan Recognition by Program Execution in Continuous Temporal Domains. - Christoph Schwering; Daniel Beck; Stefan Schiffer 002; Gerhard Lakemeyer (KI, 2012)

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

A Logic for Specifying Agent Actions and Observations with Probability. - Gavin Rens; Gerhard Lakemeyer; Thomas Meyer 002 (STAIRS, 2012)

Reinforcement learning for Golog programs with first-order state-abstraction. - Daniel Beck; Gerhard Lakemeyer (Log. J. IGPL, 2012)

Caesar: an intelligent domestic service robot. - Stefan Schiffer 002; Alexander Ferrein; Gerhard Lakemeyer (Intell. Serv. Robotics, 2012)

Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus. - Stefan Schiffer 002; Alexander Ferrein; Gerhard Lakemeyer (J. Intell. Robotic Syst., 2012)

Platas - Integrating Planning and the Action Language Golog. - Jens Claßen; Gabriele Röger; Gerhard Lakemeyer; Bernhard Nebel (Künstliche Intell., 2012)

Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics. - Alexander Ferrein; Tim Niemueller; Stefan Schiffer 002; Gerhard Lakemeyer (AAAI Spring Symposium: Designing Intelligent Robots, 2013)

Incremental Task-Level Reasoning in a Competitive Factory Automation Scenario. - Tim Niemueller; Gerhard Lakemeyer; Alexander Ferrein (AAAI Spring Symposium: Designing Intelligent Robots, 2013)

Simulation-based approach for avoiding external faults. - Naveed Akhtar; Anastassia Küstenmacher; Paul-Gerhard Plöger; Gerhard Lakemeyer (ICAR, 2013)

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. - Gerhard Lakemeyer; Hector J. Levesque (IJCAI, 2013)

Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios. - Tim Niemueller; Daniel Ewert; Sebastian Reuter; Ulrich Karras; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (KI, 2013)

Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics. - Anastassia Küstenmacher; Naveed Akhtar; Paul-Gerhard Plöger; Gerhard Lakemeyer (RoboCup, 2013)

RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed. - Tim Niemueller; Daniel Ewert; Sebastian Reuter; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (RoboCup, 2013)

First competition section paper published. - Gerhard Lakemeyer (Artif. Intell., 2013)

A Rational and Efficient Algorithm for View Revision in Databases - Radhakrishnan Delhibabu; Gerhard Lakemeyer (CoRR, 2013)

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. - Jens Claßen; Martin Liebenberg; Gerhard Lakemeyer; Benjamin Zarrieß (AAAI, 2014)

A Semantic Account of Iterated Belief Revision in the Situation Calculus. - Christoph Schwering; Gerhard Lakemeyer (ECAI, 2014)

A Logic for Specifying Stochastic Actions and Observations. - Gavin Rens; Thomas Meyer 002; Gerhard Lakemeyer (FoIKS, 2014)

Towards Using i* for Modeling Mega-Urban Processes. - Martin Liebenberg; Victor Matare; Klaus Baier; Gerhard Lakemeyer (iStar, 2014)

On the Progression of Knowledge in Multiagent Systems. - Vaishak Belle; Gerhard Lakemeyer (KR, 2014)

Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. - Gerhard Lakemeyer; Hector J. Levesque (KR, 2014)

Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014. - Tim Niemueller; Sebastian Reuter; Daniel Ewert; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (RoboCup, 2014)

Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction. - Frederik Zwilling; Tim Niemueller; Gerhard Lakemeyer (RoboCup, 2014)

Planning with epistemic goals (Dagstuhl Seminar 14032). - Thomas Ågotnes; Gerhard Lakemeyer; Benedikt Löwe; Bernhard Nebel (Dagstuhl Reports, 2014)

Multiagent Only Knowing in Dynamic Systems. - Vaishak Belle; Gerhard Lakemeyer (J. Artif. Intell. Res., 2014)

SLAP: Specification logic of actions with probability. - Gavin Rens; Thomas Meyer 002; Gerhard Lakemeyer (J. Appl. Log., 2014)

Side peak suppression in responses of an across-frequency integration model to stimuli of varying bandwidth as demonstrated analytically and by implementation. - Tom Goeckel; Hartmut Führ; Gerhard Lakemeyer; Hermann Wagner (J. Comput. Neurosci., 2014)

Towards Robust Task Execution for Domestic Service Robots. - Anastassia Küstenmacher; Naveed Akhtar; Paul-Gerhard Plöger; Gerhard Lakemeyer (J. Intell. Robotic Syst., 2014)

Projection in the Epistemic Situation Calculus with Belief Conditionals. - Christoph Schwering; Gerhard Lakemeyer (AAAI, 2015)

A Modal Logic for the Decision-Theoretic Projection Problem. - Gavin Rens; Thomas Andreas Meyer; Gerhard Lakemeyer (ICAART (2), 2015)

A Logic for Reasoning About Decision-Theoretic Projections. - Gavin Rens; Thomas Andreas Meyer; Gerhard Lakemeyer (ICAART (Revised Selected Papers), 2015)

The Video Conference Tool Robot ViCToR. - Tom Goeckel; Stefan Schiffer 002; Hermann Wagner; Gerhard Lakemeyer (ICIRA (2), 2015)

Only Knowing Meets Common Knowledge. - Vaishak Belle; Gerhard Lakemeyer (IJCAI, 2015)

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. - Christoph Schwering; Gerhard Lakemeyer; Maurice Pagnucco (IJCAI, 2015)

The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015. - Tim Niemueller; Sebastian Reuter; Daniel Ewert; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (RoboCup, 2015)

Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions. - Tim Niemueller; Sebastian Reuter; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (RoboCup, 2015)

Semantical considerations on multiagent only knowing. - Vaishak Belle; Gerhard Lakemeyer (Artif. Intell., 2015)

Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling. - Klaus Baier; Victor Matare; Martin Liebenberg; Gerhard Lakemeyer (Comput. Environ. Urban Syst., 2015)

A First-Order Logic of Probability and Only Knowing in Unbounded Domains. - Vaishak Belle; Gerhard Lakemeyer; Hector J. Levesque (AAAI, 2016)

Continual Planning in Golog. - Till Hofmann; Tim Niemueller; Jens Claßen; Gerhard Lakemeyer (AAAI, 2016)

Interruptible Task Execution with Resumption in Golog. - Gesche Gierse; Tim Niemueller; Jens Claßen; Gerhard Lakemeyer (ECAI, 2016)

Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. - Christoph Schwering; Gerhard Lakemeyer (ECAI, 2016)

Decidable Reasoning in a Logic of Limited Belief with Function Symbols. - Gerhard Lakemeyer; Hector J. Levesque (KR, 2016)

Robust Multi-modal Detection of Industrial Signal Light Towers. - Victor Mataré; Tim Niemueller; Gerhard Lakemeyer (RoboCup, 2016)

Improvements for a Robust Production in the RoboCup Logistics League 2016. - Tim Niemueller; Tobias Neumann; Christoph Henke; Sebastian Schönitz; Sebastian Reuter; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (RoboCup, 2016)

International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League. - Tim Niemueller; Tobias Neumann; Christoph Henke; Sebastian Schönitz; Sebastian Reuter; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (RoboCup, 2016)

Sensor fusion in the epistemic situation calculus. - Christoph Schwering; Tim Niemueller; Gerhard Lakemeyer; Nichola Abdo; Wolfram Burgard (J. Exp. Theor. Artif. Intell., 2016)

Akbaba - An Agent for the Angry Birds AI Challenge Based on Search and Simulation. - Stefan Schiffer 002; Maxim Jourenko; Gerhard Lakemeyer (IEEE Trans. Comput. Intell. AI Games, 2016)

Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. - Till Hofmann; Tim Niemueller; Gerhard Lakemeyer (ICAPS, 2017)

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. - Vaishak Belle; Gerhard Lakemeyer (IJCAI, 2017)

On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. - Francesco Leofante; Erika Ábrahám; Tim Niemueller; Gerhard Lakemeyer; Armando Tacchella (IRI, 2017)

An iStar 2.0 Editor Based on the Eclipse Modelling Framework. - Martin Liebenberg; Kerstin Roßmaier; Gerhard Lakemeyer (iStar, 2017)

Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. - Till Hofmann; Victor Mataré; Tobias Neumann; Sebastian Schönitz; Christoph Henke; Nicolas Limpert; Tim Niemueller; Alexander Ferrein; Sabina Jeschke; Gerhard Lakemeyer (RoboCup, 2017)

Belief revision and projection in the epistemic situation calculus. - Christoph Schwering; Gerhard Lakemeyer; Maurice Pagnucco (Artif. Intell., 2017)

DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems. - Gerhard Lakemeyer (Künstliche Intell., 2017)

Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions. - Till Hofmann; Victor Mataré; Stefan Schiffer 002; Alexander Ferrein; Gerhard Lakemeyer (AAAI Spring Symposia, 2018)

ASP-Based Time-Bounded Planning for Logistics Robots. - Björn Schäpers; Tim Niemueller; Gerhard Lakemeyer; Martin Gebser; Torsten Schaub (ICAPS, 2018)

A Logic for Specifying Metric Temporal Constraints for Golog Programs. - Till Hofmann; Gerhard Lakemeyer (CogRob@KR, 2018)

Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany. - Gerhard Brewka; Gerhard Lakemeyer (AI Mag., 2018)

Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. - Tim Niemueller; Till Hofmann; Gerhard Lakemeyer (ICAPS, 2019)

Situation Calculus Meets Description Logics. - Jens Claßen; Gerhard Lakemeyer; Benjamin Zarrieß (Description Logic, Theory Combination, and All That, 2019)

Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. - Gerhard Lakemeyer (Description Logics, 2019)

A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. - Gerhard Lakemeyer; Hector J. Levesque (IJCAI, 2019)

Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. - Till Hofmann; Nicolas Limpert; Victor Mataré; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2019)

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. - Francesco Leofante; Erika Ábrahám; Tim Niemueller; Gerhard Lakemeyer; Armando Tacchella (Inf. Syst. Frontiers, 2019)

Macro Operator Synthesis for ADL Domains. - Till Hofmann; Tim Niemueller; Gerhard Lakemeyer (ECAI, 2020)

Representation and Experience-Based Learning of Explainable Models for Robot Action Execution. - Alex Mitrevski; Paul G. Plöger; Gerhard Lakemeyer (IROS, 2020)

A First-Order Logic of Limited Belief Based on Possible Worlds. - Gerhard Lakemeyer; Hector J. Levesque (KR, 2020)

Action Discretization for Robot Arm Teleoperation in Open-Die Forging. - Mohamed Behery; Matteo Tschesche; Fridtjof Rudolph; Gerhard Hirt; Gerhard Lakemeyer (SMC, 2020)

Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent Setup Waste. - Aymen Gannouni; Vladimir Samsonov; Mohamed Behery; Tobias Meisen; Gerhard Lakemeyer (SMC, 2020)

Reinforcement Learning for Short-Term Production Scheduling with Sequence-Dependent Setup Waste. - Vladimir Samsonov; Mohamed Behery; Gerhard Lakemeyer (ERCIM News, 2020)

FactDAG: Formalizing Data Interoperability in an Internet of Production. - Lars Christoph Gleim; Jan Pennekamp; Martin Liebenberg; Melanie Buchsbaum; Philipp Niemietz; Simon Knape; Alexander Epple; Simon Storms; Daniel Trauth; Thomas Bergs; Christian Brecher; Stefan Decker; et al. (IEEE Internet Things J., 2020)

KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation. - Yiran Xing; Zai Shi; Zhao Meng; Gerhard Lakemeyer; Yunpu Ma; Roger Wattenhofer (ACL/IJCNLP (1), 2021)

Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. - Till Hofmann; Tarik Viehmann; Mostafa Gomaa; Daniel Habering; Tim Niemueller; Gerhard Lakemeyer (ICAART (1), 2021)

Portable High-level Agent Programming with golog++. - Victor Mataré; Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer; Alexander Ferrein; Stefan Schiffer 002 (ICAART (2), 2021)

Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. - Alex Mitrevski; Paul G. Plöger; Gerhard Lakemeyer (ICRA, 2021)

Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. - Daniel Habering; Till Hofmann; Gerhard Lakemeyer (IJCAI, 2021)

Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic. - Daxin Liu 002; Gerhard Lakemeyer (IJCAI, 2021)

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. - Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer (IJCAI, 2021)

Ontology-Assisted Generalisation of Robot Action Execution Knowledge. - Alex Mitrevski; Paul G. Plöger; Gerhard Lakemeyer (IROS, 2021)

Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. - Till Hofmann; Gerhard Lakemeyer (CoRR, 2021)

A Framework for the Classification of Human-Robot Interactions Within the Internet of Production. - Ralph Baier; Hannah Dammers; Alexander Mertens; Mohamed Behery; Daniel Gossen; Srikanth Nouduri; Lukas Pelzer; Amir Shahidi; Minh Trinh; Christian Brecher; Burkhard Corves; Thomas Gries; et al. (HCI (2), 2022)

A Combined Approach of Process Mining and Rule-Based AI for Study Planning and Monitoring in Higher Education. - Miriam Wagner; Hayyan Helal; Rene Roepke; Sven Judel; Jens Doveren; Sergej Görzen; Pouya Soudmand; Gerhard Lakemeyer; Ulrik Schroeder; Wil M. P. van der Aalst (ICPM Workshops, 2022)

Epistemic Logic of Likelihood and Belief. - James P. Delgrande; Joshua Sack; Gerhard Lakemeyer; Maurice Pagnucco (IJCAI, 2022)

Dynamics Modeling of Industrial Robots Using Transformer Networks. - Minh Trinh; Mohamed Behery; Mahmoud Emara; Gerhard Lakemeyer; Simon Storms; Christian Brecher (IRC, 2022)

Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. - Tarik Viehmann; Nicolas Limpert; Till Hofmann; Mike Henning; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2022)

On the Verification of Belief Programs. - Daxin Liu 002; Gerhard Lakemeyer (CoRR, 2022)

Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. - Daniel Swoboda; Till Hofmann; Tarik Viehmann; Gerhard Lakemeyer (CoRR, 2022)

Predictive Object-Centric Process Monitoring. - Timo Rohrer; Anahita Farhang Ghahfarokhi; Mohamed Behery; Gerhard Lakemeyer; Wil M. P. van der Aalst (CoRR, 2022)

A Computer Science Perspective on Digital Transformation in Production. - Philipp Brauner; Manuela Dalibor; Matthias Jarke; Ike Kunze; István Koren; Gerhard Lakemeyer; Martin Liebenberg; Judith Michael; Jan Pennekamp; Christoph Quix; Bernhard Rumpe; Wil M. P. van der Aalst; et al. (ACM Trans. Internet Things, 2022)

Cognitive Robotics (Dagstuhl Seminar 22391). - Fredrik Heintz; Gerhard Lakemeyer; Sheila A. McIlraith (Dagstuhl Reports, 2022)

A Logic of Only-Believing over Arbitrary Probability Distributions. - Qihui Feng; Daxin Liu 002; Vaishak Belle; Gerhard Lakemeyer (AAMAS, 2023)

Vision Paper: Leveraging Industrial Big Data - Past, Present, and Future of the World Wide Lab. - Mohamed Behery; Felix Glawe; István Koren; Martina Ziefle; Gerhard Lakemeyer; Philipp Brauner (IEEE Big Data, 2023)

Verifying Belief-Based Programs via Symbolic Dynamic Programming. - Daxin Liu 002; Qinfei Huang; Vaishak Belle; Gerhard Lakemeyer (ECAI, 2023)

Safety of Human-Robot Collaboration within the Internet of Production. - Minh Trinh; Hannah Dammers; Mohamed Behery; Ralph Baier; Thomas Henn; Daniel Gossen; Burkhard Corves; Stefan Kowalewski; Verena Nitsch; Gerhard Lakemeyer; Thomas Gries; Christian Brecher (HCI (29), 2023)

Extracting Rules from Event Data for Study Planning. - Majid Rafiei; Duygu Bayrak; Mahsa Pourbafrani; Gyunam Park; Hayyan Helal; Gerhard Lakemeyer; Wil M. P. van der Aalst (ICPM Workshops, 2023)

Concerning Measures in a First-order Logic with Actions and Meta-beliefs. - Daxin Liu 002; Qihui Feng; Vaishak Belle; Gerhard Lakemeyer (KR, 2023)

Self-Optimizing Agents Using Mixed Initiative Behavior Trees. - Mohamed Behery; Minh Trinh; Christian Brecher; Gerhard Lakemeyer (SEAMS, 2023)

Assistive Robot Teleoperation Using Behavior Trees. - Mohamed Behery; Minh Trinh; Christian Brecher; Gerhard Lakemeyer (CoRR, 2023)

Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab. - Mohamed Behery; Gerhard Lakemeyer (CoRR, 2023)

Multi-Valued Partial Order Plans in Numeric Planning. - Hayyan Helal; Gerhard Lakemeyer (CoRR, 2023)

Behaviour Trees for Representing Human-Robot Collaboration Processes in the World-Wide Lab. - Mohamed Behery; Philipp Brauner; Martina Ziefle; Gerhard Lakemeyer (ERCIM News, 2023)

A hybrid skill parameterisation model combining symbolic and subsymbolic elements for introspective robots. - Alex Mitrevski; Paul G. Plöger; Gerhard Lakemeyer (Robotics Auton. Syst., 2023)

Probabilistic Multi-agent Only-Believing. - Qihui Feng; Gerhard Lakemeyer (AAMAS, 2024)

i* for Sustainability: A Case Study in Urban Management. - Gerhard Lakemeyer; Martin Liebenberg (Social Modeling Using the i* Framework, 2024)

Incorporating Behavioral Recommendations Mined from Event Logs into AI Planning. - Gyunam Park; Majid Rafiei; Hayyan Helal; Gerhard Lakemeyer; Wil M. P. van der Aalst (CAiSE Forum, 2024)

An Analysis of the Decidability and Complexity of Numeric Additive Planning. - Hayyan Helal; Gerhard Lakemeyer (ICAPS, 2024)

A ROS 2-Based Navigation and Simulation Stack for the Robotino. - Saurabh Borse; Tarik Viehmann; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2024)

Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing. - Matteo Tschesche; Till Hofmann; Alexander Ferrein; Gerhard Lakemeyer (RoboCup, 2024)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. - Till Hofmann; Stefan Schupp; Gerhard Lakemeyer (CoRR, 2024)

Demonstrating Data-to-Knowledge Pipelines for Connecting Production Sites in the World Wide Lab. - Leon M. Gorißen; Jan-Niklas Schneider; Mohamed Behery; Philipp Brauner; Moritz Lennartz; David Kötter; Thomas Kaster; Oliver Petrovic; Christian Hinke; Thomas Gries; Gerhard Lakemeyer; Martina Ziefle; et al. (CoRR, 2024)

LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction. - Er Jin; Qihui Feng; Yongli Mou; Gerhard Lakemeyer; Stefan Decker; Oliver Simons; Johannes Stegmaier (AAAI, 2025)

Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments. - Qihui Feng; Hannah Wilk; Shakil M. Khan 001; Gerhard Lakemeyer (AAMAS, 2025)

A Framework for Belief-based Programs and Their Verification. - Daxin Liu 002; Gerhard Lakemeyer (J. Artif. Intell. Res., 2025)