@inproceedings{b1b9eb6220094310b6910754b11d1ae2,
title = "A logic for coalitions with bounded resources",
abstract = "Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and sound axiomatisation of RBCL.",
author = "Natasha Alechina and Brian Logan and Nga, \{Nguyen Hoang\} and Abdur Rakib",
year = "2009",
language = "English",
isbn = "9781577354260",
series = "IJCAI International Joint Conference on Artificial Intelligence",
publisher = "AAAI Press / International Joint Conferences on Artificial Intelligence",
pages = "659--664",
booktitle = "Proceedings of the IJCAI International Joint Conference on Artificial Intelligence",
address = "United States",
note = "21st International Joint Conference on Artificial Intelligence, IJCAI 2009 ; Conference date: 11-07-2009 Through 16-07-2009",
}