EPDDL is a new standardized PDDL-style language that captures the full semantics of Dynamic Epistemic Logic for epistemic planning tasks.
Logics of communication and change
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Develops a probabilistic epistemic logic framework for bounded-round randomized distributed algorithms and applies it to formally analyze and strengthen the lower bound of the Varghese-Lynch randomized coordinated attack algorithm.
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.
-
An Epistemic Analysis of Random Coordinated Attack
Develops a probabilistic epistemic logic framework for bounded-round randomized distributed algorithms and applies it to formally analyze and strengthen the lower bound of the Varghese-Lynch randomized coordinated attack algorithm.