Gerhard Lakemeyer

发表

Tractable Meta-Reasoning in Propositional Logics of Belief

Gerhard Lakemeyer, 1987, IJCAI.

Query Evaluation and Progression in AOL Knowledge Bases

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 1999, IJCAI.

Logical Properties of Knowledge

Gerhard Lakemeyer, Hector J. Levesque, 2001 .

Only Knowing Meets Common Knowledge

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2015, IJCAI.

A First-Order Logic of Limited Belief Based on Possible Worlds

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2020, KR.

Semantics for a useful fragment of the situation calculus

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2005, IJCAI.

Ist die Wissensrepräsentation tot?

Gerhard Lakemeyer, Bernhard Nebel, Torsten Schaub, 1995, Künstliche Intell..

The Situation Calculus: A Case for Modal Logic

Gerhard Lakemeyer, G. Lakemeyer, 2010, J. Log. Lang. Inf..

Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework

Gerhard Lakemeyer, Henrik Grosskreutz, G. Lakemeyer, 2000, Künstliche Intell..

Foundations for Knowledge-Based Programs using ES

Gerhard Lakemeyer, Jens Claßen, G. Lakemeyer, 2006, KR.

KI 2002: Advances in Artificial Intelligence

Gerhard Lakemeyer, Matthias Jarke, Jana Koehler, 2002, Lecture Notes in Computer Science.

On sensing and off-line interpreting in GOLOG

Gerhard Lakemeyer, G. Lakemeyer, 1999 .

Belief Revision in a Nonclassical Logic

Gerhard Lakemeyer, Wilfried Lang, G. Lakemeyer, 1996, KI.

Epistemic Queries in Classic

Gerhard Lakemeyer, Andreas Becker, 1994, KI.

Using Golog for Deliberation and Team Coordination in Robotic Soccer

Alexander Ferrein, Gerhard Lakemeyer, Christian Fritz, 2005, Künstliche Intell..

Design Principles of the Component-Based Robot Software Framework Fawkes

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2010, SIMPAR.

Combining Sound Localization and Laser-based Object Recognition

Gerhard Lakemeyer, Hermann Wagner, Laurent Calmes, 2007, AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics.

FactDAG: Formalizing Data Interoperability in an Internet of Production

Christian Brecher, Gerhard Lakemeyer, Klaus Wehrle, 2020, IEEE Internet of Things Journal.

Knowing, Reasoning, and Acting

Gerhard Lakemeyer, Sheila A. McIlraith, 2011 .

Fuzzy Representations and Control for Domestic Service Robots in Golog

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2011, ICIRA.

Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning

Alexander Ferrein, Gerhard Lakemeyer, Till Hofmann, 2019, RoboCup.

What Observations Really Tell Us

Gerhard Lakemeyer, Gero Iwan, G. Lakemeyer, 2003, KI.

The Truth about Defaults

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2006, Correct Reasoning.

A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief

Gerhard Lakemeyer, Hector J. Levesque, 2019, IJCAI.

Interdisciplinary Data Driven Production Process Analysis for the Internet of Production

Gerhard Lakemeyer, Tobias Meisen, Sabina Jeschke, 2018 .

Cyber-Physical System Intelligence

Alexander Ferrein, Gerhard Lakemeyer, Sabina Jeschke, 2017 .

Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic

Gerhard Lakemeyer, 2019, Description Logics.

Representation and Experience-Based Learning of Explainable Models for Robot Action Execution

Gerhard Lakemeyer, Paul Plöger, Alex Mitrevski, 2020, 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

robOCD: Robotic Order Cups Demo { An Interactive Domestic Service Robotics Demo

Gerhard Lakemeyer, Tobias Baumgartner, Daniel Beck, 2012 .

Multiagent Only Knowing in Dynamic Systems

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2014, J. Artif. Intell. Res..

On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs

Gerhard Lakemeyer, Jens Claßen, G. Lakemeyer, 2010, ECAI.

A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot

Gerhard Lakemeyer, Stefan Schiffer, Tobias Baumgartner, 2011, ICIRA.

The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2015, RoboCup.

Proceedings of the 6th International Cognitive Robotics Workshop (CogRob 2008)

Gerhard Lakemeyer, Jan Peters, Y. Lesperance, 2008 .

Decidable Reasoning in a Fragment of the Epistemic Situation Calculus

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2014, KR.

Towards an Integration of Planning and Golog

Gerhard Lakemeyer, Bernhard Nebel, Jens Claßen, 2007, IJCAI 2007.

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics

Gerhard Lakemeyer, Tim Niemüller, Armando Tacchella, 2018, Information Systems Frontiers.

Logic-based robot control in highly dynamic domains

Alexander Ferrein, Gerhard Lakemeyer, 2008, Robotics Auton. Syst..

Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany

Gerhard Lakemeyer, Gerhard Brewka, G. Lakemeyer, 2018, AI Mag..

The logic of knowledge bases

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2000 .

On the Logical Specification of Probabilistic Transition Models

Gerhard Lakemeyer, Thomas Meyer, Gavin Rens, 2013 .

Natural Language Interpretation for an Interactive Service Robot in Domestic Domains

Gerhard Lakemeyer, Stefan Schiffer, Niklas Hoppe, 2012, ICAART.

AllemaniACs 2008 Team Description RoboCup@Home

Gerhard Lakemeyer, Stefan Schier, 2008 .

Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2015, ICRA 2015.

International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2016, RoboCup.

Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution

Gerhard Lakemeyer, Tim Niemüller, Till Hofmann, 2019, ICAPS.

Analyzing Agent-Based Simulations of Inter-organizational Networks

Gerhard Lakemeyer, Matthias Jarke, Dominik Schmitz, 2010, ADMI.

Point-based value iteration: an anytime algorithm for POMDPs

Gerhard Lakemeyer, Yongmei Liu, S. Thrun, 2003, IJCAI 2003.

Learning Decision Trees for Action Selection in Soccer Agents

Gerhard Lakemeyer, Savas Konur, G. Lakemeyer, 2008 .

The Interactive Museum Tour-Guide Robot

Wolfram Burgard, Gerhard Lakemeyer, Armin B. Cremers, 1998, AAAI/IAAI.

Foundations of Knowledge Representation and Reasoning

Gerhard Lakemeyer, Bernhard Nebel, G. Lakemeyer, 1994, Lecture Notes in Computer Science.

All They Know: A Study in Multi-Agent Autoepistemic Reasoning

Gerhard Lakemeyer, 1993, IJCAI.

Levesque's Axiomatization of only Knowing is Incomplete

Gerhard Lakemeyer, Joseph Y. Halpern, G. Lakemeyer, 1995, Artif. Intell..

Macro Operator Synthesis for ADL Domains

Gerhard Lakemeyer, Till Hofmann, Tim Niemueller, 2020, ECAI.

Exploring artificial intelligence in the new millennium

Gerhard Lakemeyer, Bernhard Nebel, G. Lakemeyer, 2003 .

Enhancing Action Execution by Using Spatial Relational Knowledge

Gerhard Lakemeyer, Paul G. Plöger, Anastassia Kuestenmacher, 2014 .

Azimuthal sound localization using coincidence of timing across frequency on a robotic platform.

Gerhard Lakemeyer, Laurent Calmes, Hermann Wagner, 2007, The Journal of the Acoustical Society of America.

Limited Reasoning in First-Order Knowledge Bases

Gerhard Lakemeyer, G. Lakemeyer, 1994, Artif. Intell..

AOL: A logic of Acting, Sensing, Knowing, and Only Knowing

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 1998, KR.

A Tractable Knowledge Representation Service with Full Introspection

Gerhard Lakemeyer, Hector J. Levesque, 1988, TARK.

On perfect introspection with Quantifying-in

Gerhard Lakemeyer, 1992, Fundam. Informaticae.

A Semantics for ADL as Progression in the Situation Calculus

Gerhard Lakemeyer, Jens Claßen, G. Lakemeyer, 2006 .

An iStar 2.0 Editor Based on the Eclipse Modelling Framework

Gerhard Lakemeyer, Martin Liebenberg, Kerstin Roßmaier, 2017, iStar.

Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling

Gerhard Lakemeyer, Klaus Baier, Martin Liebenberg, 2015, Comput. Environ. Urban Syst..

A Logic for Non-Terminating Golog Programs

Gerhard Lakemeyer, Jens Claßen, G. Lakemeyer, 2008, KR.

On-Line Execution of cc-Golog Plans

Gerhard Lakemeyer, Henrik Grosskreutz, G. Lakemeyer, 2001, IJCAI.

Towards Using i* for Modeling Mega-Urban Processes

Gerhard Lakemeyer, Klaus Baier, Martin Liebenberg, 2014, iStar.

Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization

Gerhard Lakemeyer, Tim Niemüller, Erika Ábrahám, 2017 .

Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2018, AAAI Spring Symposia.

Efficient Reasoning in Multiagent Epistemic Logics

Gerhard Lakemeyer, Yves Lespérance, G. Lakemeyer, 2012, ECAI.

Benchmarking of Cyber-Physical Systems in Industrial Robotics

Alexander Ferrein, Gerhard Lakemeyer, Sabina Jeschke, 2017 .

AllemaniACs@Home 2006 Team Description

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schier, 2006 .

Only-Knowing: Taking It Beyond Autoepistemic Reasoning

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2005, AAAI.

An Autonomous Real-Time Camera Agent for Interactive Narratives and Games

Gerhard Lakemeyer, Georg Trogemann, Alexander Sorkine-Hornung, 2003, IVA.

Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks

Gerhard Lakemeyer, Matthias Jarke, Dominik Schmitz, 2004, OTM Workshops.

Platas—Integrating Planning and the Action Language Golog

Gerhard Lakemeyer, Bernhard Nebel, Jens Claßen, 2011, KI - Künstliche Intelligenz.

AllemaniACs@Home 2007 Team Description

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schier, 2007 .

Decidable Reasoning in a First-Order Logic of Limited Conditional Belief

Gerhard Lakemeyer, Christoph Schwering, G. Lakemeyer, 2016, ECAI.

The Museum Tour-Guide Robot RHINO

Wolfram Burgard, Gerhard Lakemeyer, Armin B. Cremers, 1988, AMS.

Representing Value Functions with Recurrent Binary Decision Diagrams

Gerhard Lakemeyer, Daniel Beck, 2012, ECAI.

A Simulation Framework for Self-Recongurabl e Socio-Technical Systems

Gerhard Lakemeyer, Paolo Giorgini, G. Lakemeyer, 2009 .

European Association for Artificial Intelligence (EurAI)

Gerhard Lakemeyer, G. Lakemeyer, 2018, Impact.

All I Know About Tweety

Gerhard Lakemeyer, 1991, Nonmonotonic and Inductive Logic.

On the Relation between Explicit and Implicit Belief

Gerhard Lakemeyer, G. Lakemeyer, 1991, KR.

RoboCup 2006: Robot Soccer World Cup X

Gerhard Lakemeyer, Tomoichi Takahashi, Elizabeth Sklar, 2006, RoboCup.

All You Ever Wanted to Know about Tweety (But Were Afraid to Ask)

Gerhard Lakemeyer, 1992, KR.

Limited Reasoning in First-Order Knowledge Bases with Full Introspection

Gerhard Lakemeyer, G. Lakemeyer, 1996, Artif. Intell..

A Logic for Specifying Agent Actions and Observations with Probability

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2012, STAIRS.

Towards (Dis)Trust-Based Simulations of Agent Networks

Gerhard Lakemeyer, Matthias Jarke, Stefanie Kethers, 2001 .

All They Know About

Gerhard Lakemeyer, 1993, AAAI.

Decidable Reasoning in a Logic of Limited Belief with Function Symbols

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2016, KR.

DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems

Gerhard Lakemeyer, 2016, KI - Künstliche Intelligenz.

Projection in the Epistemic Situation Calculus with Belief Conditionals

Gerhard Lakemeyer, Christoph Schwering, 2015, AAAI.

A Situation-Calculus Semantics for an Expressive Fragment of PDDL

Gerhard Lakemeyer, Yuxiao Hu, Jens Claßen, 2007, AAAI.

A Model of Decidable Introspective Reasoning with Quantifying-In

Gerhard Lakemeyer, 1991, IJCAI.

Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics

Gerhard Lakemeyer, Naveed Akhtar, Paul-Gerhard Plöger, 2013, RoboCup.

The RoboCup Logistics League as a Holistic Multi-Robot Smart Factory Benchmark

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2015, IROS 2015.

Sensor fusion in the epistemic situation calculus

Wolfram Burgard, Gerhard Lakemeyer, Tim Niemüller, 2016, J. Exp. Theor. Artif. Intell..

Repairing Decision-Theoretic Policies Using Goal-Oriented Planning

Alexander Ferrein, Gerhard Lakemeyer, Christoph Mies, 2008, KI.

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

Gerhard Lakemeyer, Maurice Pagnucco, Christoph Schwering, 2015, IJCAI.

RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2013, RoboCup.

Relevance from an Epistemic Perspective

Gerhard Lakemeyer, G. Lakemeyer, 1997, Artif. Intell..

Approaching A Formal Soccer Theory FromBehaviour Specifi Cations In Robotic Soccer

Alexander Ferrein, Gerhard Lakemeyer, Ubbo Visser, 2008 .

Towards an Integration of Golog and Planning

Gerhard Lakemeyer, Bernhard Nebel, Jens Claßen, 2007, IJCAI.

Laser-Based Localization with Sparse Landmarks

Alexander Ferrein, Gerhard Lakemeyer, Andreas Strack, 2005, RoboCup.

Flexible Command Interpretation on an Interactive Domestic Service Robot

Gerhard Lakemeyer, Stefan Schiffer, Niklas Hoppe, 2012, ICAART.

Situations, Si! Situation Terms, No!

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2004, KR.

Continual Planning in Golog

Gerhard Lakemeyer, Tim Niemüller, Jens Claßen, 2016, AAAI.

BendIT { An Interactive Game with two Robots

Gerhard Lakemeyer, Tim Niemueller, Stefan Schier, 2012 .

A generic robot database and its application in fault analysis and performance evaluation

Gerhard Lakemeyer, Siddhartha S. Srinivasa, Tim Niemüller, 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence

Gerhard Lakemeyer, Matthias Jarke, Jana Koehler, 2002 .

Continuous requirements management for organisation networks: a (dis)trust-based approach

Gerhard Lakemeyer, Matthias Jarke, Stefanie Kethers, 2003, Requirements Engineering.

First-Order Strong Progression for Local-Effect Basic Action Theories

Gerhard Lakemeyer, Hector J. Levesque, Stavros Vassos, 2008, KR.

On-Line Decision-Theoretic Golog for Unpredictable Domains

Alexander Ferrein, Gerhard Lakemeyer, Christian Fritz, 2004, KI.

SNet Reloaded: Roles, Monitoring and Agent Evolution

Gerhard Lakemeyer, Matthias Jarke, Dominik Schmitz, 2004, AOIS.

Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2017, RoboCup.

Enhancing the Power of a Decidable First-Order Reasoner

Gerhard Lakemeyer, Susanne Meyer, 1994, KR.

Simulation-based approach for avoiding external faults

Gerhard Lakemeyer, Naveed Akhtar, Paul-Gerhard Plöger, 2013, 2013 16th International Conference on Advanced Robotics (ICAR).

Robust Multi-modal Detection of Industrial Signal Light Towers

Gerhard Lakemeyer, Tim Niemüller, Victor Mataré, 2016, RoboCup.

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2011, AAAI 2011.

Multi-agent Only-Knowing

Gerhard Lakemeyer, G. Lakemeyer, 1996, CLIMA.

Belief Update in the pGOLOG Framework

Gerhard Lakemeyer, Henrik Grosskreutz, G. Lakemeyer, 2001, KI/ÖGAI.

cc-Golog: Towards More Realistic Logic-Based Robot Controllers

Gerhard Lakemeyer, Henrik Grosskreutz, 2000, AAAI/IAAI.

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2017, IJCAI.

Incremental Task-Level Reasoning in a Competitive Factory Automation Scenario

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2013, AAAI Spring Symposium: Designing Intelligent Robots.

Turning High-Level Plans into Robot Programs in Uncertain Domains

Gerhard Lakemeyer, Henrik Grosskreutz, G. Lakemeyer, 2000, ECAI.

A semantic characterization of a useful fragment of the situation calculus with knowledge

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2011, Artif. Intell..

The Carologistics RoboCup Logistics Team 2013

Alexander Ferrein, Gerhard Lakemeyer, Sabina Jeschke, 2013 .

Interruptible Task Execution with Resumption in Golog

Gerhard Lakemeyer, Tim Niemüller, Jens Claßen, 2016, ECAI.

Improving Robustness of Task Execution Against External Faults Using Simulation Based Approach

Gerhard Lakemeyer, Paul G. Plöger, Anastassia Küstenmacher, 2013 .

Planning with epistemic goals (Dagstuhl Seminar 14032)

Gerhard Lakemeyer, Bernhard Nebel, Benedikt Löwe, 2014, Dagstuhl Reports.

A Simulation Environment for Middle-Size Robots with Multi-level Abstraction

Alexander Ferrein, Gerhard Lakemeyer, Daniel Beck, 2008, RoboCup.

Side peak suppression in responses of an across-frequency integration model to stimuli of varying bandwidth as demonstrated analytically and by implementation

Gerhard Lakemeyer, Hartmut Führ, Hermann Wagner, 2013, Journal of Computational Neuroscience.

Akbaba—An Agent for the Angry Birds AI Challenge Based on Search and Simulation

Gerhard Lakemeyer, Stefan Schiffer, Maxim Jourenko, 2016, IEEE Transactions on Computational Intelligence and AI in Games.

A Logic for Specifying Metric Temporal Constraints for Golog Programs

Gerhard Lakemeyer, Till Hofmann, G. Lakemeyer, 2018, CogRob@KR.

Integrating Golog and Planning : An Empirical Evaluation

Gerhard Lakemeyer, Jens Claßen, Viktor Engelmann, 2008 .

Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2014, RoboCup.

A Semantical Account of Progression in the Presence of Uncertainty

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2011, AAAI.

Towards an Axiom System for Default Logic

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2006, AAAI.

Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2013, AAAI Spring Symposium: Designing Intelligent Robots.

Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2012, J. Intell. Robotic Syst..

Caesar: an intelligent domestic service robot

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2012, Intell. Serv. Robotics.

Landmark-Based Representations for Navigating Holonomic Soccer Robots

Alexander Ferrein, Gerhard Lakemeyer, Daniel Beck, 2009, RoboCup.

Modelling Actor Evolution in Agent-Based Simulations

Gerhard Lakemeyer, Matthias Jarke, Dominik Schmitz, 2008, AAMAS-OAMAS.

Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots

Gerhard Lakemeyer, Tim Niemüller, Till Hofmann, 2017, ICAPS.

Continuous, Requirements-Driven Support for Organizations, Networks, and Communities

Gerhard Lakemeyer, Matthias Jarke, Ralf Klamma, 2008, iStar.

A Logical Account of Relevance

Gerhard Lakemeyer, 1995, IJCAI.

Reinforcement Learning for Short-Term Production Scheduling with Sequence-Dependent Setup Waste

Gerhard Lakemeyer, Vladimir Samsonov, Mohamed Behery, 2020, ERCIM News.

On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2011, IJCAI.

Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog

Alexander Ferrein, Gerhard Lakemeyer, Lutz Böhnstedt, 2007, KI.

A Semantic Account of Iterated Belief Revision in the Situation Calculus

Gerhard Lakemeyer, Christoph Schwering, 2014, ECAI.

An Epistemic Logical Language

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2001 .

Only-Knowing Meets Nonmonotonic Modal Logic

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2012, KR.

Football is coming home

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2006, PCAR '06.

Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent Setup Waste

Gerhard Lakemeyer, Tobias Meisen, Aymen Gannouni, 2020, 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

On the Progression of Knowledge in Multiagent Systems

Gerhard Lakemeyer, Vaishak Belle, 2014, KR.

Steps Towards a First-Order Logic of Explicit and Implicit Belief

Gerhard Lakemeyer, 1986, TARK.

Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks

Gerhard Lakemeyer, Matthias Jarke, Dominik Schmitz, 2003, CAiSE.

Action Discretization for Robot Arm Teleoperation in Open-Die Forging

Gerhard Lakemeyer, Gerhard Hirt, Fridtjof Rudolph, 2020, 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

ASP-Based Time-Bounded Planning for Logistics Robots

Gerhard Lakemeyer, Tim Niemüller, Martin Gebser, 2018, ICAPS.

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals

Gerhard Lakemeyer, Hector J. Levesque, 2013, IJCAI.

A Logic of Limited Belief for Reasoning with Disjunctive Information

Gerhard Lakemeyer, Hector J. Levesque, Yongmei Liu, 2004, KR.

A Logic for Specifying Stochastic Actions and Observations

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2014, FoIKS.

Foundations of Knowledge Representation and Reasoning

Gerhard Lakemeyer, Bernhard Nebel, 1992, ECAI Workshop on Knowledge Representation and Reasoning.

ccGolog -- A Logical Language Dealing with Continuous Change

Gerhard Lakemeyer, Henrik Grosskreutz, G. Lakemeyer, 2003, Log. J. IGPL.

Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction

Gerhard Lakemeyer, Tim Niemüller, Frederik Zwilling, 2014, RoboCup.

Towards Robust Task Execution for Domestic Service Robots

Gerhard Lakemeyer, Naveed Akhtar, Paul-Gerhard Plöger, 2014, J. Intell. Robotic Syst..

On the Expressiveness of Levesque's Normal Form

Gerhard Lakemeyer, Yongmei Liu, 2008, J. Artif. Intell. Res..

Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]

Gerhard Lakemeyer, Bernhard Nebel, 1994, ECAI Workshop on Knowledge Representation and Reasoning.

ESP: A Logic of Only-Knowing, Noisy Sensing and Acting

Gerhard Lakemeyer, Alfredo Gabaldon, G. Lakemeyer, 2007, AAAI.

Distributed Multi-robot Localization Based on Mutual Path Detection

Gerhard Lakemeyer, Vazha Amiranashvili, G. Lakemeyer, 2005, KI.

The logic EOL

Gerhard Lakemeyer, Hector J. Levesque, 2001 .

Only Knowing in the Situation Calculus

Gerhard Lakemeyer, G. Lakemeyer, 1996, KR.

Reasoning about Imperfect Information Games in the Epistemic Situation Calculus

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2010, AAAI.

Robust Collision Avoidance in Unknown Domestic Environments

Stefan Jacobs, Alexander Ferrein, Gerhard Lakemeyer, 2009, RoboCup.

GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot

Wolfram Burgard, Gerhard Lakemeyer, Dirk Hähnel, 1998, KI.

Specifying multirobot coordination in ICPGolog from simulation towards real robots

Alexander Ferrein, Gerhard Lakemeyer, Frank Dylla, 2003 .

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs

Gerhard Lakemeyer, Jens Claßen, Martin Liebenberg, 2014, AAAI.

A Robust Monte-Carlo Algorithm for Multi-Robot Localization

Gerhard Lakemeyer, Vazha Amiranashvili, 2005 .

A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2009, RoboCup.

A First-Order Logic of Probability and Only Knowing in Unbounded Domains

Gerhard Lakemeyer, Hector J. Levesque, Vaishak Belle, 2016, AAAI.

Knowledge Bases as Representations of Epistemic States

Gerhard Lakemeyer, Hector J. Levesque, 2001 .

Experiences with an Interactive Museum Tour-Guide Robot

Wolfram Burgard, Gerhard Lakemeyer, Armin B. Cremers, 1999, Artif. Intell..

First competition section paper published

Gerhard Lakemeyer, 2013, Artif. Intell..

The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002)

Gerhard Lakemeyer, Jana Koehler, 2003, AI Mag..

Self-Maintenance for Autonomous Robots in the Situation Calculus

Gerhard Lakemeyer, Andreas Wortmann, Stefan Schiffer, 2010, Cognitive Robotics.

A Logic for Reasoning About Decision-Theoretic Projections

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2015, ICAART.

Comparing Sensor Fusion Techniques for Ball Position Estimation

Alexander Ferrein, Gerhard Lakemeyer, Lutz Hermanns, 2005, RoboCup.

Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2014, AAAI 2014.

A Bio‐inspired Sound‐localization System for a Mobile Agent

Gerhard Lakemeyer, Laurent Calmes, Hermann Wagner, 2006 .

Belief revision and projection in the epistemic situation calculus

Gerhard Lakemeyer, Maurice Pagnucco, Christoph Schwering, 2017, Artif. Intell..

Situation Calculus Meets Description Logics

Gerhard Lakemeyer, Jens Claßen, Benjamin Zarrieß, 2019, Description Logic, Theory Combination, and All That.

Wie Roboter die Welt sehen

Alexander Ferrein, Gerhard Lakemeyer, Alexander Ferrein, 2005 .

Self-Maintenance for Autonomous Robots controlled by ReadyLog

Gerhard Lakemeyer, Andreas Wortmann, Stefan Schiffer, 2010 .

Plan Recognition by Program Execution in Continuous Temporal Domains

Gerhard Lakemeyer, Daniel Beck, Christoph Schwering, 2012, KI.

A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2008, ICIRA.

Requirements Engineering for Trust-Based Interorganizational Networks

Gerhard Lakemeyer, Matthias Jarke, Stefanie Kethers, 2011, Social Modeling for Requirements Engineering.

Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases

Gerhard Lakemeyer, 2002, KR.

Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2015, RoboCup.

Acting and Deliberating using Golog in Robotic Soccer — A Hybrid Architecture —

Alexander Ferrein, Gerhard Lakemeyer, Frank Dylla, 2002 .

On Sensing and Offline-Interpreting in Golog

Gerhard Lakemeyer, G. Lakemeyer, 1999 .

Embedding fuzzy controllers in golog

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2009, 2009 IEEE International Conference on Fuzzy Systems.

On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories

Gerhard Lakemeyer, Tim Niemüller, Armando Tacchella, 2017, 2017 IEEE International Conference on Information Reuse and Integration (IRI).

Extending DTGOLOG with Options

Alexander Ferrein, Gerhard Lakemeyer, Christian Fritz, 2003, IJCAI.

Towards a League-Independent Qualitative Soccer Theory for RoboCup

Alexander Ferrein, Gerhard Lakemeyer, Ubbo Visser, 2005, RoboCup.

Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection

Gerhard Lakemeyer, 1990, AAAI.

A Rational and Efficient Algorithm for View Revision in Databases pdf

Gerhard Lakemeyer, Radhakrishnan Delhibabu, G. Lakemeyer, 2013, ArXiv.

Cognitive Robotics

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2008, Handbook of Knowledge Representation.

A Robust Speech Recognition System for Service-Robotics Applications

Gerhard Lakemeyer, Stefan Schiffer, Masrur Doostdar, 2008, RoboCup.

A Modal Logic for the Decision-Theoretic Projection Problem

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2015, ICAART.

Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2013, KI.

10081 Abstracts Collection - Cognitive Robotics

Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri, 2010, Cognitive Robotics.

Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning

Gerhard Lakemeyer, Leora Morgenstern, Mary-Anne Williams, 2009 .

Improvements for a Robust Production in the RoboCup Logistics League 2016

Alexander Ferrein, Gerhard Lakemeyer, Tim Niemüller, 2016, RoboCup.

A Speech Interface for a Mobile Robot controlled by GOLOG

Gerhard Lakemeyer, Frank Dylla, G. Lakemeyer, 2000 .

Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks

Gerhard Lakemeyer, Matthias Jarke, Dominik Schmitz, 2005, Inf. Syst..

The Video Conference Tool Robot ViCToR

Gerhard Lakemeyer, Hermann Wagner, Stefan Schiffer, 2015, ICIRA.

SLAP: Specification logic of actions with probability

Gerhard Lakemeyer, Thomas Andreas Meyer, Gavin Rens, 2014, J. Appl. Log..

Comparing Three Formal Analysis Approaches of the Tropos Family

Gerhard Lakemeyer, Matthias Jarke, Dominik Schmitz, 2006, AOIS.

Probabilistic Complex Actions in GOLOG

Gerhard Lakemeyer, Henrik Grosskreutz, G. Lakemeyer, 2003, Fundam. Informaticae.

Semantical considerations on multiagent only knowing

Gerhard Lakemeyer, Vaishak Belle, G. Lakemeyer, 2015, Artif. Intell..

Querying AOL Knowledge Bases

Gerhard Lakemeyer, Hector J. Levesque, G. Lakemeyer, 2000, Intellectics and Computational Logic.

SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog

Gerhard Lakemeyer, Matthias Jarke, Günter Gans, 2002, CAiSE.

A Computationally Attractive First-Order Logic of Belief

Gerhard Lakemeyer, G. Lakemeyer, 1990, JELIA.

Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic

Gerhard Lakemeyer, Daxin Liu, G. Lakemeyer, 2021, IJCAI.

Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots

Gerhard Lakemeyer, Till Hofmann, Daniel Habering, 2021, IJCAI.

Ontology-Assisted Generalisation of Robot Action Execution Knowledge

Gerhard Lakemeyer, Alex Mitrevski, Paul G. Plöger, 2021, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints

Gerhard Lakemeyer, Till Hofmann, Tarik Viehmann, 2021, IJCAI.

Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints pdf

Gerhard Lakemeyer, Till Hofmann, 2021, ArXiv.

Portable High-level Agent Programming with golog++

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2021, ICAART.

Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League

Gerhard Lakemeyer, Tim Niemüller, Till Hofmann, 2021, ICAART.

Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models

Gerhard Lakemeyer, Alex Mitrevski, Paul G. Plöger, 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA).

Foundations of Knowledge Representation and Reasoning a Guide to This Volume

Gerhard Lakemeyer, Bernhard Nebel, 1994 .

AllemaniACs Team Description

Gerhard Lakemeyer, Stefan Schiffer, 2009 .

Tractable First-Order Golog with Disjunctive Knowledge Bases

Gerhard Lakemeyer, Jens Claßen, 2009 .

Comparing TCD / SNet with two other formal analysis approaches based on i * : Formal Tropos and Secure Tropos

Gerhard Lakemeyer, Matthias Jarke, Dominik Schmitz, 2006 .

GOLOG and PDDL: what is the relative expressiveness?

Gerhard Lakemeyer, Bernhard Nebel, Patrick Eyerich, 2006, PCAR '06.

CLIPS-based Execution for PDDL Planners

Gerhard Lakemeyer, Till Hofmann, G. Lakemeyer, 2018 .

Unreal G OLOG Bots

Alexander Ferrein, Gerhard Lakemeyer, Stefan Jacobs, 2005 .

Reinforcement Learning for Golog Programs

Gerhard Lakemeyer, G. Lakemeyer, Daniel Beck, 2009 .

Qualitative World Models for Soccer Robots

Alexander Ferrein, Gerhard Lakemeyer, Stefan Schiffer, 2006 .