ATL-D and ATEL-D extend ATL to capture dynamic granting/revoking of actions and the resulting updates to agents' knowledge.
van Ditmarsch, H.; van der Hoek, W.; and Kooi, B
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
ATL-D and ATEL-D extend ATL to capture dynamic granting/revoking of actions and the resulting updates to agents' knowledge.