On a Logic for Coalitional Games with Priced-Resource Agents

Electronic Notes in Theoretical Computer Science - Tập 278 - Trang 215-228 - 2011
Dario Della Monica1, Margherita Napoli1, Mimmo Parente1
1Dipartimento di Informatica, Università di Salerno, Italy

Tài liệu tham khảo

Ågotnes, T., W. van der Hoek and M. Wooldridge, On the logic of coalitional games, in: AAMAS, 2006, pp. 153–160.

Alechina, N., B. Logan, N. H. Nga and A. Rakib, A logic for coalitions with bounded resources, in: Proc. of the 21st International Joint Conference on Artificial Intelligence, IJCAI ʼ09, 2009, pp. 659–664.

Alechina, N., B. Logan, N. H. Nga and A. Rakib, Resource-bounded alternating-time temporal logic, in: Proc. of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1, AAMAS ʼ10, 2010, pp. 481–488. URL http://portal.acm.org/citation.cfm?id=1838206.1838274.

Alur, 2002, Alternating-time temporal logic, Journal of ACM, 49, 672, 10.1145/585265.585270

Bulling, 2010, Modelling and verifying coalitions using argumentation and ATL, Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 14, 45

Bulling, N. and B. Farwer, Expressing properties of resource-bounded systems: The logics RTL* and RTL, in: J. Dix, M. Fisher and P. Novák, editors, Computational Logic in Multi-Agent Systems (CLIMA X) (2009), pp. 22–45.

Bulling, N. and B. Farwer, On the (un-)decidability of model checking resource-bounded agents, in: Proc. of the 19th European Conference on Artificial Intelligence, ECAI ʼ10, 2010, pp. 567–572.

Dunne, 2010, Solving coalitional resource games, Artificial Intelligence, 174, 20, 10.1016/j.artint.2009.09.005

Goranko, V., Coalition games and alternating temporal logics, in: Proc. of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, TARK ʼ01 (2001), pp. 259–272.

Pauly, 2001, A logical framework for coalitional effectivity in dynamic procedures, Bulletin of Economic Research, 53, 305, 10.1111/1467-8586.00136

Pauly, 2002, A modal logic for coalitional power in games, Journal of Logic and Computation, 12, 149, 10.1093/logcom/12.1.149

Sipser, 1996

Thông tin
Thông tin xuất bản

Electronic Notes in Theoretical Computer Science

Tập 278

215-228

Thông tin tác giả