Gerhard Lakemeyer
14 papers · 2013–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
🐝 Cross-Pollinator (9) 🧭 Keyword Pioneer 🏃 Academic Marathon (12) 🌍 Conference Polyglot (4) 🌈 Renaissance Researcher (6)
🧭
Keyword Pioneer
🌍
Conference Polyglot
(4)
🏃
Academic Marathon
(12)
🚀
Conference Pioneer
⚡
Prolific Year
(5)
💎
Century Club
(12)
🗃️
Keyword Collector
(51)
Conferences
IJCAI (9)
AAAI (3)
ACL (1)
IJCNLP (1)
Top co-authors
Keywords
modal logic
(4)
situation calculus
(3)
visual commonsense
(2)
first-order logic
(2)
multimodal learning
(2)
belief revision
(2)
sequence-to-sequence model
(2)
visual reasoning
(1)
explainable ai
(1)
knowledge representation
(1)
probabilistic reasoning
(1)
probabilistic programming
(1)
fault diagnosis
(1)
diagnostic reasoning
(1)
trajectory prediction
(1)
vision language model
(1)
knowledge graph
(1)
belief state
(1)
mobile robot
(1)
multi-agent planning
(1)
Papers
Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach
AAAI 2026
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
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
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots
IJCAI 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
KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation
IJCNLP 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