EPDDL is a new standardized PDDL-style language that captures the full semantics of Dynamic Epistemic Logic for epistemic planning tasks.
Halpern & Y oram Moses (1990): Knowledge and Common Knowledge in a Distributed Environ- ment
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Introduces an epistemic framework for causality in Byzantine multi-agent systems and identifies the multipede communication structure needed to verify action preconditions under faults.
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.
-
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
Introduces an epistemic framework for causality in Byzantine multi-agent systems and identifies the multipede communication structure needed to verify action preconditions under faults.