Lakemeyer, Gerhard

39 publications

JAIR 2025 A Framework for Belief-Based Programs and Their Verification Daxin Liu, Gerhard Lakemeyer

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

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

IJCAI 2021 Reasoning About Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic Daxin Liu, Gerhard Lakemeyer

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

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

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

IJCAI 2017 Reasoning About Probabilities in Unbounded First-Order Dynamical Domains Vaishak Belle, Gerhard Lakemeyer

AAAI 2016 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

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

IJCAI 2015 Only Knowing Meets Common Knowledge Vaishak Belle, Gerhard Lakemeyer

AAAI 2015 Projection in the Epistemic Situation Calculus with Belief Conditionals Christoph Schwering, Gerhard Lakemeyer

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

JAIR 2014 Multiagent Only Knowing in Dynamic Systems Vaishak Belle, Gerhard Lakemeyer

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

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

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

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

IJCAI 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, Gerhard Lakemeyer

JAIR 2008 On the Expressiveness of Levesque's Normal Form Yongmei Liu, Gerhard Lakemeyer

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

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

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

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

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

IJCAI 2005 Semantics for a Useful Fragment of the Situation Calculus Gerhard Lakemeyer, Hector J. Levesque

IJCAI 2003 Extending DTGOLOG with Options Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer

IJCAI 2001 On-Line Execution of Cc-Golog Plans Henrik Grosskreutz, Gerhard Lakemeyer

AAAI 2000 Cc-Golog: Towards More Realistic Logic-Based Robot Controllers Henrik Grosskreutz, Gerhard Lakemeyer

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

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

IJCAI 1995 A Logical Account of Relevance Gerhard Lakemeyer

AAAI 1993 All They Know About Gerhard Lakemeyer

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

IJCAI 1991 A Model of Decidable Introspective Reasoning with Quantifying-in Gerhard Lakemeyer

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

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