Gerhard Lakemeyer

Venues

Frequent coauthors

Papers

1. A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
   AAAI 2026 ·

   Daxin Liu

   DBLP profile ↗ORCID search ↗
2. A Logic of Limited Belief with Introspection Based on Possible Worlds
   KR 2026 · Gerhard Lakemeyer
3. Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach
   AAAI 2026 ·

   Qihui Feng

   DBLP profile ↗ORCID search ↗
4. Belief Revision in a Probabilistic Setting
   KR 2025 ·

   James P. Delgrande

   DBLP profile ↗ORCID search ↗
5. LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction
   AAAI 2025 ·

   Er Jin

   DBLP profile ↗ORCID search ↗
6. Simple Numeric Planning with Two Variables Is Decidable
   ECAI 2025 ·

   Hayyan Helal

   DBLP profile ↗ORCID search ↗
7. Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments
   AAMAS 2025 ·

   Qihui Feng

   DBLP profile ↗ORCID search ↗
8. Probabilistic Multi-agent Only-Believing
   AAMAS 2024 ·

   Qihui Feng

   DBLP profile ↗ORCID search ↗