A Logic for Coalitions with Bounded Resources
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 659-663.
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.Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib. 2009. A Logic for Coalitions with Bounded Resources. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09. IJCAI, 659–663. https://ijcai.org/proceedings/2009/115
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2009). A Logic for Coalitions with Bounded Resources. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09 (pp. 659–663). IJCAI. https://ijcai.org/proceedings/2009/115
@inproceedings{ijcai2009p115,
title = {A Logic for Coalitions with Bounded Resources},
author = {Alechina, Natasha and Logan, Brian and Nga, Nguyen Hoang and Rakib, Abdur},
booktitle = {Proceedings of the Twenty-First International Joint Conference on
Artificial Intelligence, {IJCAI-09}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Hiroaki Kitano},
pages = {659--663},
year = {2009},
url = {https://ijcai.org/proceedings/2009/115},
}
TY - CPAPER TI - A Logic for Coalitions with Bounded Resources AU - Alechina, Natasha AU - Logan, Brian AU - Nga, Nguyen Hoang AU - Rakib, Abdur T2 - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09 PB - International Joint Conferences on Artificial Intelligence PY - 2009 SP - 659 EP - 663 UR - https://ijcai.org/proceedings/2009/115 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
