| 2026 | AAAI | Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach. | Qihui Feng, Gerhard Lakemeyer |
| 2026 | AAAI | A Framework for Belief-based Programs and Their Verification (Abstract Reprint). | Daxin Liu, Gerhard Lakemeyer |
| 2026 | ICAART | Making Robots Play by the Rules: The ROS 2 CLIPS-Executive. | Tarik Viehmann, Daniel Swoboda, Samridhi Kalra, Himanshu Grover, Gerhard Lakemeyer |
| 2026 | KR | A Logic of Limited Belief with Introspection Based on Possible Worlds. | Gerhard Lakemeyer, Hector J. Levesque |
| 2025 | AAAI | LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction. | Er Jin, Qihui Feng, Yongli Mou, Gerhard Lakemeyer, Stefan Decker, Oliver Simons, Johannes Stegmaier |
| 2025 | ECAI | Simple Numeric Planning with Two Variables Is Decidable. | Hayyan Helal, Gerhard Lakemeyer |
| 2025 | KR | Belief Revision in a Probabilistic Setting. | James P. Delgrande, Gerhard Lakemeyer, Maurice Pagnucco, Joshua Sack |
| 2024 | CaiSE | Incorporating Behavioral Recommendations Mined from Event Logs into AI Planning. | Gyunam Park, Majid Rafiei, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst |
| 2024 | ICAPS | An Analysis of the Decidability and Complexity of Numeric Additive Planning. | Hayyan Helal, Gerhard Lakemeyer |
| 2024 | RoboCup | A ROS 2-Based Navigation and Simulation Stack for the Robotino. | Saurabh Borse, Tarik Viehmann, Alexander Ferrein, Gerhard Lakemeyer |
| 2024 | RoboCup | Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing. | Matteo Tschesche, Till Hofmann, Alexander Ferrein, Gerhard Lakemeyer |
| 2023 | ECAI | Verifying Belief-Based Programs via Symbolic Dynamic Programming. | Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer |
| 2023 | HCI | 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 |
| 2023 | ICPM | 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 |
| 2023 | KR | Concerning Measures in a First-order Logic with Actions and Meta-beliefs. | Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer |
| 2023 | SEAMS | Self-Optimizing Agents Using Mixed Initiative Behavior Trees. | Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer |
| 2022 | HCI | 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, Christian Hopmann, Mathias Hsing, Gerhard Lakemeyer, Verena Nitsch |
| 2022 | ICPM | 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 Grzen, Pouya Soudmand, Gerhard Lakemeyer, Ulrik Schroeder, Wil M. P. van der Aalst |
| 2022 | IJCAI | Epistemic Logic of Likelihood and Belief. | James P. Delgrande, Joshua Sack, Gerhard Lakemeyer, Maurice Pagnucco |
| 2022 | RoboCup | Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. | Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer |
| 2021 | ACL | KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation. | Yiran Xing, Zai Shi, Zhao Meng, Gerhard Lakemeyer, Yunpu Ma, Roger Wattenhofer |
| 2021 | ICAART | 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 |
| 2021 | ICAART | Portable High-level Agent Programming with golog++. | Victor Matar, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer |
| 2021 | IJCAI | Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. | Daniel Habering, Till Hofmann, Gerhard Lakemeyer |
| 2021 | IJCAI | Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic. | Daxin Liu, Gerhard Lakemeyer |
| 2021 | IJCAI | Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. | Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer |
| 2021 | ICRA | Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. | Alex Mitrevski, Paul G. Plger, Gerhard Lakemeyer |
| 2021 | IROS | Ontology-Assisted Generalisation of Robot Action Execution Knowledge. | Alex Mitrevski, Paul G. Plger, Gerhard Lakemeyer |
| 2020 | ECAI | Macro Operator Synthesis for ADL Domains. | Till Hofmann, Tim Niemueller, Gerhard Lakemeyer |
| 2020 | IROS | Representation and Experience-Based Learning of Explainable Models for Robot Action Execution. | Alex Mitrevski, Paul G. Plger, Gerhard Lakemeyer |
| 2020 | KR | A First-Order Logic of Limited Belief Based on Possible Worlds. | Gerhard Lakemeyer, Hector J. Levesque |
| 2020 | SMC | Action Discretization for Robot Arm Teleoperation in Open-Die Forging. | Mohamed Behery, Matteo Tschesche, Fridtjof Rudolph, Gerhard Hirt, Gerhard Lakemeyer |
| 2020 | SMC | Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent Setup Waste. | Aymen Gannouni, Vladimir Samsonov, Mohamed Behery, Tobias Meisen, Gerhard Lakemeyer |
| 2019 | IJCAI | A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. | Gerhard Lakemeyer, Hector J. Levesque |
| 2019 | RoboCup | Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. | Till Hofmann, Nicolas Limpert, Victor Matar, Alexander Ferrein, Gerhard Lakemeyer |
| 2018 | KR | A Logic for Specifying Metric Temporal Constraints for Golog Programs. | Till Hofmann, Gerhard Lakemeyer |
| 2017 | IJCAI | Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. | Vaishak Belle, Gerhard Lakemeyer |
| 2017 | IRI | On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. | Francesco Leofante, Erika brahm, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella |
| 2017 | RoboCup | Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. | Till Hofmann, Victor Matar, Tobias Neumann, Sebastian Schnitz, Christoph Henke, Nicolas Limpert, Tim Niemueller, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer |
| 2016 | AAAI | A First-Order Logic of Probability and Only Knowing in Unbounded Domains. | Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque |
| 2016 | AAAI | Continual Planning in Golog. | Till Hofmann, Tim Niemueller, Jens Claen, Gerhard Lakemeyer |
| 2016 | ECAI | Interruptible Task Execution with Resumption in Golog. | Gesche Gierse, Tim Niemueller, Jens Claen, Gerhard Lakemeyer |
| 2016 | ECAI | Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. | Christoph Schwering, Gerhard Lakemeyer |
| 2016 | KR | Decidable Reasoning in a Logic of Limited Belief with Function Symbols. | Gerhard Lakemeyer, Hector J. Levesque |
| 2016 | RoboCup | Robust Multi-modal Detection of Industrial Signal Light Towers. | Victor Matar, Tim Niemueller, Gerhard Lakemeyer |
| 2016 | RoboCup | Improvements for a Robust Production in the RoboCup Logistics League 2016. | Tim Niemueller, Tobias Neumann, Christoph Henke, Sebastian Schnitz, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer |
| 2016 | RoboCup | International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League. | Tim Niemueller, Tobias Neumann, Christoph Henke, Sebastian Schnitz, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer |
| 2015 | AAAI | Projection in the Epistemic Situation Calculus with Belief Conditionals. | Christoph Schwering, Gerhard Lakemeyer |
| 2015 | ICAART | A Modal Logic for the Decision-Theoretic Projection Problem. | Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer |
| 2015 | ICAART | A Logic for Reasoning About Decision-Theoretic Projections. | Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer |
| 2015 | IJCAI | Only Knowing Meets Common Knowledge. | Vaishak Belle, Gerhard Lakemeyer |
| 2015 | IJCAI | Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. | Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco |
| 2015 | RoboCup | 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 |
| 2015 | RoboCup | Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions. | Tim Niemueller, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer |
| 2014 | AAAI | Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. | Jens Claen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrie |
| 2014 | ECAI | A Semantic Account of Iterated Belief Revision in the Situation Calculus. | Christoph Schwering, Gerhard Lakemeyer |
| 2014 | KR | On the Progression of Knowledge in Multiagent Systems. | Vaishak Belle, Gerhard Lakemeyer |
| 2014 | KR | Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. | Gerhard Lakemeyer, Hector J. Levesque |
| 2014 | RoboCup | 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 |
| 2014 | RoboCup | Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction. | Frederik Zwilling, Tim Niemueller, Gerhard Lakemeyer |
| 2013 | IJCAI | Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. | Gerhard Lakemeyer, Hector J. Levesque |
| 2013 | KI | Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios. | Tim Niemueller, Daniel Ewert, Sebastian Reuter, Ulrich Karras, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer |
| 2013 | RoboCup | Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics. | Anastassia Kstenmacher, Naveed Akhtar, Paul-Gerhard Plger, Gerhard Lakemeyer |
| 2013 | RoboCup | RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed. | Tim Niemueller, Daniel Ewert, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer |
| 2012 | AAAI | Plan Recognition by Program Execution in Continuous Temporal Domains. | Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer |
| 2012 | ECAI | Representing Value Functions with Recurrent Binary Decision Diagrams. | Daniel Beck, Gerhard Lakemeyer |
| 2012 | ECAI | Efficient Reasoning in Multiagent Epistemic Logics. | Gerhard Lakemeyer, Yves Lesprance |
| 2012 | ICAART | Natural Language Interpretation for an Interactive Service Robot in Domestic Domains. | Stefan Schiffer, Niklas Hoppe, Gerhard Lakemeyer |
| 2012 | ICAART | Flexible Command Interpretation on an Interactive Domestic Service Robot. | Stefan Schiffer, Niklas Hoppe, Gerhard Lakemeyer |
| 2012 | IROS | A generic robot database and its application in fault analysis and performance evaluation. | Tim Niemueller, Gerhard Lakemeyer, Siddhartha S. Srinivasa |
| 2012 | KI | Plan Recognition by Program Execution in Continuous Temporal Domains. | Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer |
| 2012 | KR | Only-Knowing Meets Nonmonotonic Modal Logic. | Gerhard Lakemeyer, Hector J. Levesque |
| 2011 | AAAI | A Semantical Account of Progression in the Presence of Uncertainty. | Vaishak Belle, Gerhard Lakemeyer |
| 2011 | IJCAI | On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. | Vaishak Belle, Gerhard Lakemeyer |
| 2010 | AAAI | Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. | Vaishak Belle, Gerhard Lakemeyer |
| 2010 | ECAI | On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. | Jens Claen, Gerhard Lakemeyer |
| 2010 | KR | Multi-Agent Only-Knowing Revisited. | Vaishak Belle, Gerhard Lakemeyer |
| 2009 | IJCAI | A Semantical Account of Progression in the Presence of Defaults. | Gerhard Lakemeyer, Hector J. Levesque |
| 2009 | IJCAI | On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. | Yongmei Liu, Gerhard Lakemeyer |
| 2009 | RoboCup | Robust Collision Avoidance in Unknown Domestic Environments. | Stefan Jacobs, Alexander Ferrein, Stefan Schiffer, Daniel Beck, Gerhard Lakemeyer |
| 2009 | RoboCup | A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao. | Tim Niemller, Alexander Ferrein, Gerhard Lakemeyer |
| 2008 | KI | Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. | Christoph Mies, Alexander Ferrein, Gerhard Lakemeyer |
| 2008 | KR | A Logic for Non-Terminating Golog Programs. | Jens Claen, Gerhard Lakemeyer |
| 2008 | KR | First-Order Strong Progression for Local-Effect Basic Action Theories. | Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque |
| 2008 | RoboCup | Landmark-Based Representations for Navigating Holonomic Soccer Robots. | Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer |
| 2008 | RoboCup | A Robust Speech Recognition System for Service-Robotics Applications. | Masrur Doostdar, Stefan Schiffer, Gerhard Lakemeyer |
| 2007 | AAAI | A Situation-Calculus Semantics for an Expressive Fragment of PDDL. | Jens Claen, Yuxiao Hu, Gerhard Lakemeyer |
| 2007 | AAAI | ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. | Alfredo Gabaldon, Gerhard Lakemeyer |
| 2007 | IJCAI | Towards an Integration of Golog and Planning. | Jens Claen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel |
| 2007 | KI | Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. | Lutz Bhnstedt, Alexander Ferrein, Gerhard Lakemeyer |
| 2007 | RoboCup | A Simulation Environment for Middle-Size Robots with Multi-level Abstraction. | Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer |
| 2006 | AAAI | Towards an Axiom System for Default Logic. | Gerhard Lakemeyer, Hector J. Levesque |
| 2006 | KR | Foundations for Knowledge-Based Programs using ES. | Jens Claen, Gerhard Lakemeyer |
| 2005 | AAAI | Only-Knowing: Taking It Beyond Autoepistemic Reasoning. | Gerhard Lakemeyer, Hector J. Levesque |
| 2005 | IJCAI | Semantics for a useful fragment of the situation calculus. | Gerhard Lakemeyer, Hector J. Levesque |
| 2005 | KI | Distributed Multi-robot Localization Based on Mutual Path Detection. | Vazha Amiranashvili, Gerhard Lakemeyer |
| 2005 | RoboCup | Comparing Sensor Fusion Techniques for Ball Position Estimation. | Alexander Ferrein, Lutz Hermanns, Gerhard Lakemeyer |
| 2005 | RoboCup | Laser-Based Localization with Sparse Landmarks. | Andreas Strack, Alexander Ferrein, Gerhard Lakemeyer |
| 2004 | KI | On-Line Decision-Theoretic Golog for Unpredictable Domains. | Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer |
| 2004 | KR | Situations, Si! Situation Terms, No! | Gerhard Lakemeyer, Hector J. Levesque |
| 2004 | KR | A Logic of Limited Belief for Reasoning with Disjunctive Information. | Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque |
| 2004 | RoboCup | Towards a League-Independent Qualitative Soccer Theory for RoboCup. | Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Rfer, Frieder Stolzenburg, Ubbo Visser, Thomas Wagner |
| 2003 | CaiSE | Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks. | Gnter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz |
| 2003 | IJCAI | Extending DTGOLOG with Options. | Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer |
| 2003 | IVA | An Autonomous Real-Time Camera Agent for Interactive Narratives and Games. | Alexander Hornung, Gerhard Lakemeyer, Georg Trogemann |
| 2003 | KI | What Observations Really Tell Us. | Gero Iwan, Gerhard Lakemeyer |
| 2002 | CaiSE | SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. | Gnter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits |
| 2002 | KR | Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. | Gerhard Lakemeyer |
| 2001 | IJCAI | On-Line Execution of cc-Golog Plans. | Henrik Grosskreutz, Gerhard Lakemeyer |
| 2001 | KI | Belief Update in the pGOLOG Framework. | Henrik Grosskreutz, Gerhard Lakemeyer |
| 2001 | RE | Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. | Gnter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, Martin Meister |
| 2000 | AAAI | cc-Golog: Towards More Realistic Logic-Based Robot Controllers. | Henrik Grosskreutz, Gerhard Lakemeyer |
| 2000 | ECAI | Turning High-Level Plans into Robot Programs in Uncertain Domains. | Henrik Grosskreutz, Gerhard Lakemeyer |
| 1999 | IJCAI | Query Evaluation and Progression in AOL Knowledge Bases. | Gerhard Lakemeyer, Hector J. Levesque |
| 1998 | AAAI | The Interactive Museum Tour-Guide Robot. | Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hhnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun |
| 1998 | KI | GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. | Dirk Hhnel, Wolfram Burgard, Gerhard Lakemeyer |
| 1998 | KR | AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. | Gerhard Lakemeyer, Hector J. Levesque |
| 1996 | KI | Belief Revision in a Nonclassical Logic. | Gerhard Lakemeyer, Wilfried Lang |
| 1996 | KR | Only Knowing in the Situation Calculus. | Gerhard Lakemeyer |
| 1996 | TARK | Multi-Agent Only Knowing. | Joseph Y. Halpern, Gerhard Lakemeyer |
| 1995 | IJCAI | A Logical Account of Relevance. | Gerhard Lakemeyer |
| 1994 | KI | Epistemic Queries in Classic. | Andreas Becker, Gerhard Lakemeyer |
| 1994 | KR | Enhancing the Power of a Decidable First-Order Reasoner. | Gerhard Lakemeyer, Susanne Meyer |
| 1993 | AAAI | All They Know About. | Gerhard Lakemeyer |
| 1993 | IJCAI | All They Know: A Study in Multi-Agent Autoepistemic Reasoning. | Gerhard Lakemeyer |
| 1992 | ECAI | Foundations of Knowledge Representation and Reasoning. | Gerhard Lakemeyer, Bernhard Nebel |
| 1992 | KR | All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). | Gerhard Lakemeyer |
| 1992 | TARK | On Perfect Introspection With Quantifying-in. | Gerhard Lakemeyer |
| 1991 | IJCAI | A Model of Decidable Introspective Reasoning with Quantifying-In. | Gerhard Lakemeyer |
| 1991 | KR | On the Relation between Explicit and Implicit Belief. | Gerhard Lakemeyer |
| 1990 | AAAI | Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. | Gerhard Lakemeyer |
| 1990 | JELIA | A Computationally Attractive First-Order Logic of Belief. | Gerhard Lakemeyer |
| 1988 | TARK | A Tractable Knowledge Representation Service with Full Introspection. | Gerhard Lakemeyer, Hector J. Levesque |
| 1987 | IJCAI | Tractable Meta-Reasoning in Propositional Logics of Belief. | Gerhard Lakemeyer |
| 1986 | TARK | Steps Towards a First-Order Logic of Explicit and Implicit Belief. | Gerhard Lakemeyer |