Reasoning about coalitional games

Artificial Intelligence

Volumn 173, Issue 1, 2009, Pages 45-79

  Ågotnes, Thomas ^a   van der Hoek, Wiebe ^b   Wooldridge, Michael ^b  

^a BERGEN UNIVERSITY COLLEGE   (Norway)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Coalitional games; Knowledge representation; Modal logic; Multi agent systems

Indexed keywords

AGENTS; COMPUTATIONAL COMPLEXITY; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; MULTI AGENT SYSTEMS;

COALITIONAL GAMES; DECISION PROCEDURES; MODAL LOGIC; MODAL LOGICS; REPRESENTATION FORMALISMS; SATISFIABILITY; SOLUTION CONCEPTS;

GAME THEORY;

EID: 56249124557     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2008.08.004     Document Type: Article

References (41)

1. Abdou J., and Keiding H. Effectivity Functions in Social Choice Theory (1991), Kluwer Academic Publishers, Dordrecht, The Netherlands
2. T. Ågotnes, W. van der Hoek, M. Wooldridge, On the logic of coalitional games, in: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), Hakodate, Japan, 2006
3. Alur R., Henzinger T.A., and Kupferman O. Alternating-time temporal logic. Journal of the ACM 49 5 (September 2002) 672-713
4. Aumann R.J., and Maschler M. The bargaining set for cooperative games. Advances in Game Theory. Annals of Mathematics Studies 52 (1964) 443-467
5. J. Bilbao, J. Fernández, J. López, Complexity in cooperative game theory, Manuscript
6. Blackburn P., de Rijke M., and Venema Y. Modal Logic (2001), Cambridge University Press, Cambridge, England
7. Clarke E.M., Grumberg O., and Peled D.A. Model Checking (2000), The MIT Press, Cambridge, MA
8. V. Conitzer, T. Sandholm, Complexity of determining nonemptiness of the core, in: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico, 2003, pp. 613-618
9. V. Conitzer, T. Sandholm, Computing Shapley values, manipulating value division schemes, and checking core membership in multi-issue domains. in: Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-2004), San Jose, CA, 2004, pp. 219-225
10. Conitzer V., and Sandholm T. Complexity of constructing solutions in the core based on synergies among coalitions. Artificial Intelligence 170 (2006) 607-619
11. M. de Rijke, Extended modal logic, PhD thesis, University of Amsterdam, 1993
12. Deng X., and Papadimitriou C.H. On the complexity of cooperative solution concepts. Mathematics of Operations Research 19 2 (1994) 257-266
13. E. Elkind, L. Goldberg, P. Goldberg, M. Wooldridge, Computational complexity of weighted threshold games, in: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-2007), Vancouver, British Columbia, Canada, 2007
14. Emerson E.A. Temporal and modal logic. In: van Leeuwen J. (Ed). Handbook of Theoretical Computer Science, vol. B: Formal Models and Semantics (1990), Elsevier Science Publishers B.V., Amsterdam, The Netherlands 996-1072
15. Gillies D.B. Solutions to general non-zero-sum games. Contribution to the Theory of Games, IV. Annals of Mathematics Studies 40 (1959) 47-85
16. P. Harrenstein, Logic in conflict, PhD thesis, Utrecht University, 2004
17. Harrenstein P., van der Hoek W., Meyer J.-J., and Witteven C. A modal characterization of Nash equilibrium. Fundamenta Informaticae 57 2-4 (2003) 281-321
18. Horrocks I., Hustadt U., Sattler U., and Schmidt R. Computational modal logic. In: Blackburn P., van Benthem J., and Wolter F. (Eds). Handbook of Modal Logic (2007), Elsevier Science Publishers B.V., Amsterdam, The Netherlands 181-245
19. Hughes G.E., and Cresswell M.J. Introduction to Modal Logic (1968), Methuen and Co., Ltd.
20. S. Ieong, Y. Shoham, Marginal contribution nets: A compact representation scheme for coalitional games, in: Proceedings of the Sixth ACM Conference on Electronic Commerce (EC'05), Vancouver, Canada, 2005
21. Levesque H.J. All I know: a study in autoepistemic logic. Artificial Intelligence 42 2-3 (March 1990) 263-309
22. Von Neumann J., and Morgenstern O. Theory of Games and Economic Behaviour (1944), Princeton University Press, Princeton, NJ
23. N. Ohta, A. Iwasaki, M. Yokoo, K. Maruono, V. Conitzer, T. Sandholm, A compact representation scheme for coalitional games in open anonymous environments, in: Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-2006), Boston, MA, 2006
24. Osborne M.J., and Rubinstein A. A Course in Game Theory (1994), The MIT Press, Cambridge, MA
25. Papadimitriou C.H. Computational Complexity (1994), Addison-Wesley, Reading, MA
26. M. Pauly, Logic for social software, PhD thesis, University of Amsterdam, 2001. ILLC Dissertation Series 2001-10
27. Pauly M. A modal logic for coalitional power in games. Journal of Logic and Computation 12 1 (2002) 149-166
28. M. Pauly, M. Wooldridge, Logic for mechanism design-a manifesto, in: Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent Systems (GTDT-2003), Melbourne, Australia, 2003
29. Sandholm T. Distributed rational decision making. In: Weiß G. (Ed). Multiagent Systems (1999), The MIT Press, Cambridge, MA 201-258
30. Shehory O., and Kraus S. Coalition formation among autonomous agents: Strategies and complexity. In: Castelfranchi C., and Müller J.-P. (Eds). From Reaction to Cognition-Fifth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW-93. LNAI vol. 957 (1995), Springer-Verlag, Berlin, Germany 56-72
31. O. Shehory, S. Kraus, Task allocation via coalition formation among autonomous agents, in: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), Montréal, Québec, Canada, August 1995, pp. 655-661
32. Shehory O., and Kraus S. Methods for task allocation via agent coalition formation. Artificial Intelligence 101 1-2 (1998) 165-200
33. Smullyan R.M. First-Order Logic (1968), Springer-Verlag, Berlin, Germany
34. W. van der Hoek, W. Jamroga, M. Wooldridge, A logic for strategic reasoning, in: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2005), Utrecht, The Netherlands, 2005, pp. 157-164
35. van der Hoek W., and Meyer J.-J. Making some issues of implicit knowledge explicit. International Journal of Foundations of Computer Science 3 2 (1992) 193-224
36. van der Hoek W., and Meyer J.-J. A complete epistemic logic for multiple agents-combining distributed and common knowledge. Epistemic Logic and the Theory of Games and Decisions (1997), Kluwer Academic Publishers, Dordrecht, The Netherlands 35-68
37. van der Hoek W., and Pauly M. Modal logic for games and information. In: Blackburn P., van Benthem J., and Wolter F. (Eds). Handbook of Modal Logic (2006), Elsevier Science Publishers B.V., Amsterdam, The Netherlands 1077-1148
38. van Harmelen F., Lifschitz V., and Porter B. Handbook of Knowledge Representation (2007), Elsevier Science Publishers B.V., Amsterdam, The Netherlands
39. M. Wooldridge, T. Ågotnes, P.E. Dunne, W. van der Hoek, Logic for automated mechanism design-a progress report, in: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-2007), Vancouver, British Columbia, Canada, 2007
40. Wooldridge M., and Dunne P.E. On the computational complexity of qualitative coalitional games. Artificial Intelligence 158 1 (2004) 27-73
41. Wooldridge M., and Dunne P.E. On the computational complexity of coalitional resource games. Artificial Intelligence 170 10 (2006) 853-871