Alternating-time temporal logic
Journal of the ACM (JACM)
Coalition games and alternating temporal logics
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Complete axiomatization and decidability of alternating-time temporal logic
Theoretical Computer Science
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Reasoning about coalitional games
Artificial Intelligence
On the computational complexity of coalitional resource games
Artificial Intelligence
A logic for coalitions with bounded resources
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Expressing properties of coalitional ability under resource bounds
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Do agents make model checking explode (computationally)?
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
On the (Un-)Decidability of Model Checking Resource-Bounded Agents
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Expressing properties of resource-bounded systems: the logics RTL* and RTL
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
On a Logic for Coalitional Games with Priced-Resource Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability can be affected by the availability of resources, and there is no straightforward way of reasoning about resource requirements in logics such as Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). In this paper, we propose a logic for reasoning about coalitional ability under resource constraints. We extend ATL with costs of actions and hence of strategies. We give a complete and sound axiomatisation of the resulting logic Resource-Bounded ATL (RB-ATL) and an efficient model-checking algorithm for it.