Algorithms for finding coalitions exploiting a new reciprocity condition

Logic Journal of the IGPL

Volumn 17, Issue 3, 2009, Pages 273-297

  Boella, Guido ^a   Sauro, Luigi ^b   van der Torre, Leendert ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^c UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS OF ALGORITHMS; COALITION FORMATIONS; CONDITION; FORMAL DESCRIPTION; GOAL-DIRECTED; PROPERTY;

COMPUTATIONAL COMPLEXITY;

EID: 66849087452     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzp008     Document Type: Article

References (41)

1. R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran. Mocha: Modularity in model checking. In Proceedings of the 10th International Conference on Computer Aided Verification, (CAV '98), volume 1427 of Lecture Notes in Computer Science, pages 521-525, 1998.
2. R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of ACM, 49(5):672-713, 2002.
3. R.J. Aumann. The core of a cooperative game without side payments. Transaction of the American Mathematical Society, 98:539-552, 1961.
4. G. Boella, L. Sauro, and L. van der Torre. Power and dependence relations in groups of agents. In Procs. of 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), Beijin, Cina, 2004.
5. G. Boella, L. Sauro, and L. van der Torre. Admissible agreements among goal-directed agents. In Procs. of 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), Paris, France, 2005.
6. G. Boella, L. Sauro, and L. van der Torre. Strengthening admissible coalitions. In Procs. of ECAI'06, Riva del Garda, 2006.
7. G. Boella, L. Sauro, and L. van der Torre. From social power to social importance. Web Intelligence and Agent Systems Journal, 5(4):393-404, 2007.
8. E. Bonzon, M. Lagasquie-Schiex, and J. Lang. Dependencies between players in boolean games. In ECSQARU 2007, pages 743-754, 2007.
9. E. Bonzon, M. Lagasquie-Schiex, J. Lang, and B. Zanuttini. Boolean games revisited. In 17th European Conference on Artificial Intelligence (ECAI'06), pages 265-269. Springer-Verlag, 2006.
10. N. Bulling, C.I. Chesnevar, and J. Dix. Modelling coalitions: Atl + argumentation. In AAMAS 2008, pages 681-688, 2008.
11. C. Castelfranchi. Founding agents' "autonomy" on dependence theory. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'00), pages 353-357, Berlin, Germany, 2000.
12. C. Castelfranchi. The Micro-Macro Constitution of Power. ProtoSociology, 18-19, 2003.
13. R. Conte and J. Sichman. Multi-Agent Dependence by Dependence Graphs. In Proceedings of The First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS'02), pages 483-490, Bologna, Italy, 2002.
14. R. Conte and J. S. Sichman. Dependence graphs: Dependence within and between groups. Computational & Mathematical Organization Theory, 8(2):87-112, 2002.
15. T. Cormen and C. Leiserson R. Rivest. Introduction to Algorithms. MIT Press, 1990.
16. D. Dang and N. Jennings. Generating coalition structures with finite bound from the optimal guarantees. In Proceedings of The Third International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS'04), pages 564-571, New York, USA, 2004.
17. M. d'Inverno and M. Luck. A formal view of social dependence networks. In Proceedings of First Australian Workshop on Distributed Artificial Intelligence (DAI'95), volume 1087 of Lecture Notes in Computer Science, Camberra, Australia, 1996.
18. P. E. Dunne and M. Wooldridge. Preferences in qualitative coalitional games. In Proceedings of the sixth Workshop on Game Theoretic and Decision Theoretic Agents (GTDT'04), pages 29-38, New York, USA, July 2004.
19. E. H. Durfee and J. S. Rosenschein. Distributed problem solving and multi-agent systems: Comparisons and examples. In The Thirteenth International Distributed Artificial Intelligence Workshop, pages 94-104, Seattle, Washington, 1994.
20. V. Goranko and G. van Drimmelen. Decidability and complete axiomatization of the alternating-time temporal logic. Theoretical Computer Science, to appear.
21. B. Grosz, S. Kraus, S. Talman, B. Stossel, and M. Havlin. The influence of social dependencies on decision-making: Initial investigation with a new game. In Proceedings of The Third International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS'04), pages 782-789, New York, USA, 2004.
22. D. Harel, D. Kozen, and J. Tiuryn. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II - Extensions of Classical Logic, pages 497-604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984.
23. P. Harrenstein. Logic in Conflict. PhD thesis, Utrecht University, 2004.
24. P. Harrenstein, W. van der Hoek, J. Meyer, and C. Witteveen. Boolean games. In TARK 2001, pages 287-298, 2001.
25. S. Kraus and T. Plotkin. Algorithms of distributed task allocation for cooperative agents. Theoretical Computer Science, 242(1-2):1-27, 2000.
26. K.L. McMillan. Symbolic Model Checking. PhD thesis, CMU University, 1992.
27. M. Pauly. A Modal Logic for Coalitional Power in Games. Journal of Logic and Computation, 12:146-166, 2002.
28. R. W. Rosental. Cooperative games in effectiveness form. Journal of Economic Theory, 5:88-101, 1972.
29. 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.
30. T. Sandholm and V. Lesser. Coalitions among computationally bounded agents. Artificial Intelligence, 94(1):99-137, 1997.
31. L. Sauro. Formalizing Admissibility Criteria in Coalition Formation Among Goaldirected Agents. PhD thesis, 2006.
32. L. Sauro. Qualitative criteria of admissibility for enforced agreements. Computational & Mathematical Organization Theory, 12(2-3 :147-168, October 2006.
33. L.S. Shapley and M. Shubik. Pure competition, coalitional power and fair division. International Economic Review, 10(3):337-362, 1969.
34. O. Shehory and S. Kraus. Methods for Task Allocation via Agent Coalition Formation. Artificial Intelligence, 101(1-2):165-200, 1998.
35. J. S. Sichman and Y. Demazeau. On social reasoning in multi-agent systems. Revista Iberoamericana de Inteligencia Artificial, 13:68-84, 2001.
36. R. Tarjan. Depth-first search and linear graph algorithms. SIAM Journal of Computation, 1(2):146-160, 1972.
37. W. van der Hoek and M. Wooldridge. Cooperation, knowledge, and time: Alternatingtime temporal epistemic logic and its applications. Studia Logica, 75(1):125-157, 2003.
38. J. von Neumann and O. Morgensten. Theory of Games and Economic Behavior. John Wiley and Sons, 1944.
39. M. Wooldridge and P.E. Dunne. On the computational complexity of qualitative coalitional games. Artificial Intelligence, 158(1):27-73, 2004.
40. M. Wooldridge and J. Jennings. Towards a theory of cooperative problem solving. In John W. Perram and Jean-Pierre Müller, editors, Proceedings of the Sixth European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW-94), volume 1069 of Lecture Notes in Computer Science, pages 40-53, Odense, Denmark, 1994. Springer.
41. G. Zlotkin and J. S. Rosenschein. Mechanism design for automated negotiation, and its application to task oriented domains. Artificial Intelligence, 86(2):195-244, 1996.