Temporal qualitative coalitional games

Proceedings of the International Conference on Autonomous Agents

Volumn 2006, Issue , 2006, Pages 177-184

  Ågotnes, Thomas ^a   Van Der Hoek, Wiebe ^b   Wooldridge, Michael ^b  

^a UNIVERSITY OF BERGEN   (Norway)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Coalitional games; Logic; Repeated games

Indexed keywords

AUTONOMOUS AGENTS; FORMAL LANGUAGES; GAME THEORY; PROBLEM SOLVING; SET THEORY;

COALITIONAL GAMES; REPEATED GAMES;

TEMPORAL LOGIC;

EID: 34247257363     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1160633.1160662     Document Type: Conference Paper

References (15)

1. R. Alur, T.A. Henzinger, O. Kupferman, and M.Y. Vardi. Alternating refinement relations. In Proc. of CONCUR'98, vol. 1466 of LNCS, pp. 163-178. Springer-Verlag, 1998.
2. R. Axelrod. The Evolution of Cooperation. Basic Books: New York, 1984.
3. K. Binmore. Fun and Games: A Text on Game Theory. D. C. Heath and Company: Lexington, MA, 1992.
4. M. Finger and D. M. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language, and Information, 1:203-233, 1992.
5. D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
6. D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. On the temporal analysis of fairness. In POPL '80, pp. 163-173, 1980. ACM Press.
7. M. Klusch and A. Gerber. Dynamic coalition formation among rational agents. IEEE Int. Syst., 17(3):42-47, 2002.
8. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verl.: Berlin, Germany, 1992.
9. M. J. Osborne and A. Rubinstein. A Course in Game Theory. The MIT Press: Cambridge, MA, 1994.
10. M. Pauly. Axiomatising Judgement Aggregation Procedures in a Mininal Logical Language. Unpublished paper.
11. T. Sandholm. Distributed rational decision making. In G. Weiß, editor, Multiagent Systems, pages 201-258. The MIT Press: Cambridge, MA, 1999.
12. T. Sandholm, K. Larson, M. Andersson, O. Shehory, and F. Tohmé. Coalition structure generation with worst case guarantees. Artificial Intelligence, 111(1-2):209-238, 1999.
13. O. Shehory and S. Kraus. Methods for task allocation via agent coalition formation. Artificial Intelligence, 101(1-2): 165-200, 1998.
14. A. P. Sistla and E. M. Clarke. The complexity of prepositional linear temporal logics. Journal of the ACM, 32(3):733-749, 1985.
15. M. Wooldridge and P. E. Dunne. On the computational complexity of qualitative coalitional games. Artificial Intelligence, 158(1):27-73, 2004.