EPDDL is a new standardized PDDL-style language that captures the full semantics of Dynamic Epistemic Logic for epistemic planning tasks.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.AI 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Generalizes AGM postulates to multi-agent Kripke models, presents full-meet operator satisfying them, and discusses iterated revision with event models.
citing papers explorer
-
The Epistemic Planning Domain Definition Language: Official Guideline
EPDDL is a new standardized PDDL-style language that captures the full semantics of Dynamic Epistemic Logic for epistemic planning tasks.
-
A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
Generalizes AGM postulates to multi-agent Kripke models, presents full-meet operator satisfying them, and discusses iterated revision with event models.