Gerhard Lakemeyer

Name Venue Year citations
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. ICRA 2021 0
Ontology-Assisted Generalisation of Robot Action Execution Knowledge. IROS 2021 0
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic. IJCAI 2021 0
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. IJCAI 2021 2
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. IJCAI 2021 0
Representation and Experience-Based Learning of Explainable Models for Robot Action Execution. IROS 2020 5
A First-Order Logic of Limited Belief Based on Possible Worlds. KR 2020 1
Macro Operator Synthesis for ADL Domains. ECAI 2020 1
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI 2019 1
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. ICAPS 2019 6
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS 2018 17
Belief revision and projection in the epistemic situation calculus. Artificial Intelligence 2017 8
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. ICAPS 2017 12
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. IJCAI 2017 10
Continual Planning in Golog. AAAI 2016 23
Interruptible Task Execution with Resumption in Golog. ECAI 2016 2
A First-Order Logic of Probability and Only Knowing in Unbounded Domains. AAAI 2016 8
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. ECAI 2016 3
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. KR 2016 4
Semantical considerations on multiagent only knowing. Artificial Intelligence 2015 5
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. IJCAI 2015 8
Projection in the Epistemic Situation Calculus with Belief Conditionals. AAAI 2015 4
Only Knowing Meets Common Knowledge. IJCAI 2015 5
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. AAAI 2014 16
On the Progression of Knowledge in Multiagent Systems. KR 2014 2
Multiagent Only Knowing in Dynamic Systems. JAIR 2014 6
Towards Robust Task Execution for Domestic Service Robots. ICAPS 2014 13
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. KR 2014 16
A Semantic Account of Iterated Belief Revision in the Situation Calculus. ECAI 2014 6
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. IJCAI 2013 8
First competition section paper published. Artificial Intelligence 2013 0
A generic robot database and its application in fault analysis and performance evaluation. IROS 2012 42
Efficient Reasoning in Multiagent Epistemic Logics. ECAI 2012 18
Only-Knowing Meets Nonmonotonic Modal Logic. KR 2012 11
Representing Value Functions with Recurrent Binary Decision Diagrams. ECAI 2012 0
A semantic characterization of a useful fragment of the situation calculus with knowledge. Artificial Intelligence 2011 40
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. IJCAI 2011 8
A Semantical Account of Progression in the Presence of Uncertainty. AAAI 2011 11
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. ECAI 2010 5
Multi-Agent Only-Knowing Revisited. KR 2010 14
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. AAAI 2010 12
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI 2009 48
A Semantical Account of Progression in the Presence of Defaults. IJCAI 2009 0
First-Order Strong Progression for Local-Effect Basic Action Theories. KR 2008 25
Logic-based robot control in highly dynamic domains. Robotics and Autonomous Systems 2008 101
On the Expressiveness of Levesque's Normal Form. JAIR 2008 2
A Logic for Non-Terminating Golog Programs. KR 2008 66
Towards an Integration of Golog and Planning. IJCAI 2007 50
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI 2007 26
A Situation-Calculus Semantics for an Expressive Fragment of PDDL. AAAI 2007 26
Towards an Axiom System for Default Logic. AAAI 2006 14
Foundations for Knowledge-Based Programs using ES. KR 2006 18
Semantics for a useful fragment of the situation calculus. IJCAI 2005 33
Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI 2005 24
Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. AIIDE 2005 12
A Logic of Limited Belief for Reasoning with Disjunctive Information. KR 2004 33
Situations, Si! Situation Terms, No! KR 2004 52
Extending DTGOLOG with Options. IJCAI 2003 16
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. KR 2002 29
On-Line Execution of cc-Golog Plans. IJCAI 2001 27
Turning High-Level Plans into Robot Programs in Uncertain Domains. ECAI 2000 35
Query Evaluation and Progression in AOL Knowledge Bases. IJCAI 1999 7
Experiences with an Interactive Museum Tour-Guide Robot. Artificial Intelligence 1999 924
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR 1998 68
Relevance from an Epistemic Perspective. Artificial Intelligence 1997 28
Only Knowing in the Situation Calculus. KR 1996 16
Limited Reasoning in First-Order Knowledge Bases with Full Introspection. Artificial Intelligence 1996 23
Multi-Agent Only Knowing. TARK 1996 0
A Logical Account of Relevance. IJCAI 1995 22
Levesque's Axiomatization of only Knowing is Incomplete. Artificial Intelligence 1995 32
Limited Reasoning in First-Order Knowledge Bases. Artificial Intelligence 1994 26
Enhancing the Power of a Decidable First-Order Reasoner. KR 1994 4
All They Know About. AAAI 1993 17
All They Know: A Study in Multi-Agent Autoepistemic Reasoning. IJCAI 1993 49
On Perfect Introspection With Quantifying-in. TARK 1992 6
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). KR 1992 11
On the Relation between Explicit and Implicit Belief. KR 1991 14
A Model of Decidable Introspective Reasoning with Quantifying-In. IJCAI 1991 4
A Computationally Attractive First-Order Logic of Belief. JELIA 1990 14
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. AAAI 1990 8
A Tractable Knowledge Representation Service with Full Introspection. TARK 1988 24
Tractable Meta-Reasoning in Propositional Logics of Belief. IJCAI 1987 54
Steps Towards a First-Order Logic of Explicit and Implicit Belief. TARK 1986 61
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ