Gerhard Lakemeyer

Dept. of Computer Science , RWTH Aachen University , D-52056 Aachen , Germany.

21 papers in the IJCAI proceedings

IJCAI 2022

Epistemic Logic of Likelihood and Belief

with James P. Delgrande, Joshua Sack, Maurice Pagnucco

doi:10.24963/ijcai.2022/360

Details PDF

IJCAI 2021

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

with Daxin Liu

doi:10.24963/ijcai.2021/269

Details PDF

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints

with Tarik Viehmann, Till Hofmann

doi:10.24963/ijcai.2021/287

Details PDF

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

with Daniel Habering, Till Hofmann

doi:10.24963/ijcai.2021/263

Details PDF

IJCAI 2019

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

with Hector J. Levesque

doi:10.24963/ijcai.2019/244

Details PDF

IJCAI 2017

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains

with Vaishak Belle

doi:10.24963/ijcai.2017/115

Details PDF

IJCAI 2015

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

with Christoph Schwering, Maurice Pagnucco

Details PDF

Only Knowing Meets Common Knowledge

with Vaishak Belle

Details PDF

IJCAI 2013

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

with Hector J. Levesque

Details PDF

IJCAI 2011

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

with Vaishak Belle

doi:10.5591/978-1-57735-516-8/IJCAI11-131

Details PDF

IJCAI 2009

A Semantical Account of Progression in the Presence of Defaults

with Hector J. Levesque

Details PDF

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond

with Yongmei Liu

Details PDF

IJCAI 2007

Towards an Integration of Golog and Planning

with Jens Claßen, Patrick Eyerich, Bernhard Nebel

Details PDF

IJCAI 2005

Semantics for a useful fragment of the situation calculus

with Hector J. Levesque

Details PDF

IJCAI 2003

Extending DTGOLOG with Options

with Alexander Ferrein, Christian Fritz

Details PDF

IJCAI 2001

On-Line Execution of cc-Golog Plans

with Henrik Grosskreutz

Details PDF

IJCAI 1999

Query Evaluation and Progression in AOL Knowledge Bases

with Hector J. Levesque

Details PDF

IJCAI 1995

A Logical Account of Relevance

Details PDF

IJCAI 1993

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

Details PDF

IJCAI 1991

A Model of Decidable Introspective Reasoning with Quantifying-In

Details PDF

IJCAI 1987

Tractable Meta-Reasoning in Propositional Logics of Belief

Details PDF