Expressing properties of coalitional ability under resource bounds

Authors:
Natasha Alechina;Brian Logan;Nguyen Hoang Nga;Abdur Rakib
Affiliations:
School of Computer Science, University of Nottingham, Nottingham, UK;School of Computer Science, University of Nottingham, Nottingham, UK;School of Computer Science, University of Nottingham, Nottingham, UK;School of Computer Science, University of Nottingham, Nottingham, UK
Venue:
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Year:
2009

Citing 11
Cited 1

Alternating-time temporal logic

Journal of the ACM (JACM)
MOCHA: Modularity in Model Checking

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Coalition games and alternating temporal logics

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
On the computational complexity of qualitative coalitional games

Artificial Intelligence
On the logic of coalitional games

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporal qualitative coalitional games

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Verifying time, memory and communication bounds in systems of reasoning agents

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Cooperative Boolean games

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Logic for automated mechanism design: a progress report

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
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

Resource-bounded alternating-time temporal logic

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource bounds on strategies. We show how to express interesting properties of coalitional ability under resource bounds in this logic, including properties of Coalitional Resource Games introduced by Wooldridge and Dunne in [1]. We also give an efficient model-checking algorithm for CLRG which makes it possible to verify the properties automatically.