ATL-D and ATEL-D extend ATL to capture dynamic granting/revoking of actions and the resulting updates to agents' knowledge.
In Walsh, T., ed.,Pro- ceedings of the 22nd IJCAI, 1659–1664
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.