Modelling coalitions: ATL + argumentation

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 2, Issue , 2008, Pages 670-677

  Bulling, Nils ^a   Dix, Jürgen ^a   Chesñevar, Carlos I ^b  

^a Department of Informatics Clausthal University of Tecfinology   (Germany)

^b UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

Author keywords

Argumentation; Coalition formation; Game theory; Multi agent systems; Temporal logic

Indexed keywords

AUTONOMOUS AGENTS; GAME THEORY; MODEL CHECKING; MULTI AGENT SYSTEMS; SEMANTICS; TEMPORAL LOGIC;

ALTERNATING TIME TEMPORAL LOGIC; ARGUMENTATION; ARGUMENTATION FRAMEWORKS; ARGUMENTATION SEMANTICS; COALITION FORMATIONS; NATURAL EXTENSION; PROOF THEORY;

PROBLEM SOLVING;

EID: 84899932571     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. T. Agotnes, W. van der Hoek, and M. Wooldridge. Quantified coalition logic. In IJCAI, pages 1181-1186, 2007.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
3. L. Amgoud. An argumentation-based model for reasoning about coalition structures. In ArgMAS, pages 217-228, 2005.
4. L. Amgoud. Towards a formal model for task allocation via coalition formation. In AAMAS, pages 1185-1186, 2005.
5. S. Borgo. Coalitions in action logic. In IJCAI, pages 1822-1827, 2007.
6. N. Bulling and W. Jamroga. A logic for reasoning about rational agents: Yet another attempt. In L. Czaja, editor. Proceedings of CS&P, 2007.
7. M. Caminada. Semi-stable semantics. In Intl. Conference on Computational Models of Argument (COMMA), pages 121-130, 2006.
8. C. I. Chesfievar, A. G. Maguitman, and R. P. Loui. Logical models of argument. ACM Comput. Surv., 32(4):337-383, 2000.
9. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
10. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell, 77(2):321-358, 1995.
11. P. E. Dunne and T. J. M. Bench-Capon. Two party immediate response disputes: Properties and efficiency. Artif Intell, 149(2):221-250, 2003.
12. H. Hattori, T. Ito, T. Ozono, and T. Shintani. An approach to coaUtion formation using argumentation-based negotiation in multi-agent systems. In Proceedings of lEA/AIE, pages 687-696, London, UK, 2001. Springer-Verlag.
13. W. Jamroga and N. Bulling. A general framework for reasoning about rational agents. In Proceedings of AAMAS'07, pages 592-594, Honolulu, Hawaii, USA, 2007. ACM Press. Short paper.
14. W. Jamroga and N. Bulling. A logic for reasoning about rational agents. In F. Sadri and K. Satoh, editors. Proceedings of CLIMA '07, pages 54-69, Porto, Portugal, 2007. Univesidade Do Porto.
15. S. Kaci, L. W. N. van der Torre, and E. Weydert. On the acceptability of incompatible arguments. In Proc. of ECSQARU Conf, pages 247-258, 2007.
16. N. C. Karunatillake, N. R. Jennings, I. Rahwan, and S. D. Ramchurn. Managing social influences through argumentation-based negotiation. In Proc. of AAMAS, pages 426-428, 2006.
17. M. Pauly. A modal logic for coalitional power in games. J. Log. Comput., 12(1): 149-166, 2002.
18. H. Prakken and G. Vreeswijk. Logical Systems for Defeasible Argumentation. In D. Gabbay and F.Guenther, editors. Handbook of Phil. Logic, pages 219-318. Kluwer, 2002.
19. I. Rahwan and L. Amgoud. An argumentation based approach for practical reasoning. In Proc. of AAMAS Conf., pages 347-354, 2006.
20. I. Rahwan, P. Pasquier, L. Sonenberg, and F. Dignum. On the benefits of exploiting underlying goals in argument-based negotiation. In Proc. of AAAI Conf., pages 116-121, 2007.
21. Y. Tang and S. Parsons. Argumentation-based dialogues for deliberation. In Proc. of AAMAS, pages 552-559, 2005.