Gerhard Lakemeyer

† Also affiliated with the University of Toronto , Canada.; RWTH Aachen University Germany

6 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

Future Conferences

AI Journal Division

IJCAI Proceedings