Sciweavers

LORI
2009
Springer

Expressing Properties of Coalitional Ability under Resource Bounds

14 years 5 months ago
Expressing Properties of Coalitional Ability under Resource Bounds
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.
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, A
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LORI
Authors Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Comments (0)