Gerhard Lakemeyer

Full Professor, Computer Science, RWTH Aachen University, Rheinisch Westfälische Technische Hochschule Aachen

Joined

July 2019

Names

Gerhard Lakemeyer

Emails

****@cs.rwth-aachen.de (Confirmed)

****@informatik.rwth-aachen.de (Confirmed)

****@kbsg.rwth-aachen.de (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

Full Professor

Computer Science, RWTH Aachen University, Rheinisch Westfälische Technische Hochschule Aachen (cs.rwth-aachen.de)

1997 – Present

Advisors, Relations & Conflicts

PhD Advisor

Hector J. Levesque

1982 – 1990

Expertise

Cognitive Robotics

1993 – Present

Knowledge Representation and Reasoning

1982 – Present

Publications

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
Vaishak Belle, Gerhard Lakemeyer
- 2017 (modified: 10 Nov 2022)
- IJCAI 2017
- Readers: Everyone
A First-Order Logic of Probability and Only Knowing in Unbounded Domains
Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque
- 2016 (modified: 16 Jul 2019)
- AAAI 2016
- Readers: Everyone
Continual Planning in Golog
Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
- 2016 (modified: 16 Jul 2019)
- AAAI 2016
- Readers: Everyone
Projection in the Epistemic Situation Calculus with Belief Conditionals
Christoph Schwering, Gerhard Lakemeyer
- 2015 (modified: 16 Jul 2019)
- AAAI 2015
- Readers: Everyone
Only Knowing Meets Common Knowledge
Vaishak Belle, Gerhard Lakemeyer
- 2015 (modified: 16 Jul 2019)
- IJCAI 2015
- Readers: Everyone
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
- 2015 (modified: 16 Jul 2019)
- IJCAI 2015
- Readers: Everyone
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs
Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß
- 2014 (modified: 16 Jul 2019)
- AAAI 2014
- Readers: Everyone
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals
Gerhard Lakemeyer, Hector J. Levesque
- 2013 (modified: 16 Jul 2019)
- IJCAI 2013
- Readers: Everyone
Plan Recognition by Program Execution in Continuous Temporal Domains
Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer
- 2012 (modified: 29 Apr 2021)
- CogRob@AAAI 2012
- Readers: Everyone
A Semantical Account of Progression in the Presence of Uncertainty
Vaishak Belle, Gerhard Lakemeyer
- 2011 (modified: 16 Jul 2019)
- AAAI 2011
- Readers: Everyone

View all 31 publications

Co-Authors

View all 26 co-authors