Gerhard Lakemeyer
13 papers · 2013–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (17) π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze π Academic Marathon Β· Half
π
Renaissance Researcher
(5)
π
Conference Pioneer
π
Century Club Β· Bronze
Top co-authors
Research topics
Keywords
modal logic
(4)
situation calculus
(3)
first-order logic
(2)
belief revision
(2)
explainable ai
(1)
visual reasoning
(1)
knowledge representation
(1)
fault diagnosis
(1)
trajectory prediction
(1)
probabilistic reasoning
(1)
belief state
(1)
probabilistic programming
(1)
multi-agent planning
(1)
diagnostic reasoning
(1)
active diagnosis
(1)
program verification
(1)
knowledge graph
(1)
vision-language model
(1)
mobile robot
(1)
multimodal learning
(1)
Papers
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
AAAI 2026
Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach
AAAI 2026
LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction
AAAI 2025
Epistemic Logic of Likelihood and Belief
IJCAI 2022
KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation
ACL 2021
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic
IJCAI 2021
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints
IJCAI 2021
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
IJCAI 2021
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief
IJCAI 2019
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
IJCAI 2017
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus
IJCAI 2015
Only Knowing Meets Common Knowledge
IJCAI 2015
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals
IJCAI 2013