ATL-D and ATEL-D extend ATL to capture dynamic granting/revoking of actions and the resulting updates to agents' knowledge.
In Kern-Isberner, G.; Lakemeyer, G.; and Meyer, T., eds.,Proceedings of the 19th KR, 12–21
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.