PPaperPicks

Gerhard Lakemeyer

8 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3AAMAS ×2KR ×2ECAI ×1

Frequent coauthors

Qihui Feng
×4
Daxin Liu
×1
Hector J. Levesque
×1
James P. Delgrande
×1
Maurice Pagnucco
×1
Joshua Sack
×1
Er Jin
×1
Yongli Mou
×1
Stefan Decker
×1
Oliver Simons
×1
Johannes Stegmaier
×1
Hayyan Helal
×1

Papers

  1. A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
    AAAI 2026 ·
    Daxin Liu
    , Gerhard Lakemeyer
  2. A Logic of Limited Belief with Introspection Based on Possible Worlds
    KR 2026 · Gerhard Lakemeyer,
    Hector J. Levesque
  3. Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach
    AAAI 2026 ·
    Qihui Feng
    , Gerhard Lakemeyer
  4. Belief Revision in a Probabilistic Setting
    KR 2025 ·
    James P. Delgrande
    , Gerhard Lakemeyer,
    Maurice Pagnucco
    ,
    Joshua Sack
  5. LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction
    AAAI 2025 ·
    Er Jin
    ,
    Qihui Feng
    ,
    Yongli Mou
    , Gerhard Lakemeyer,
    Stefan Decker
    ,
    Oliver Simons
    ,
    Johannes Stegmaier
  6. Simple Numeric Planning with Two Variables Is Decidable
    ECAI 2025 ·
    Hayyan Helal
    , Gerhard Lakemeyer
  7. Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments
    AAMAS 2025 ·
    Qihui Feng
    ,
    Hannah Wilk
    ,
    Shakil M. Khan
    , Gerhard Lakemeyer
  8. Probabilistic Multi-agent Only-Believing
    AAMAS 2024 ·
    Qihui Feng
    , Gerhard Lakemeyer