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
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative 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.
Tool-using LLM agents can implement undetectable stegosystems, shifting the primary barrier to covert multi-agent collusion from technical feasibility to coordination without explicit agreement.
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.