Comparing two unique extension semantics for formal argumentation: Ideal and eager

Belgian/Netherlands Artificial Intelligence Conference

Volumn , Issue , 2007, Pages 81-87

  Caminada, Martin ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

[No Author keywords available]

Indexed keywords

ARGUMENTATION SEMANTICS; FORMAL ARGUMENTATION;

ARTIFICIAL INTELLIGENCE;

SEMANTICS;

EID: 84873974976     PISSN: 15687805     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. L. Amgoud, N. Maudet, and S. Parsons. Arguments, dialogue, and negotiation. In Proceedings of the 14th European Conference on Artificial Intelligence, pages 338-342, 2000.
2. P. Baroni, M. Giaeomin, and G. Guida. Sec-recursiveness: a general schema for argumentation semantics. Artificial Intelligence. 168(1-2): 165-210,2005.
3. Martin Caminada. An algorithm for computing semi-stable semantics. Technical Report Technical Report UU-CS-2007-010, Utrecht University, 2007. http://www.cs.uu.nl/~martinc/algorithm-techreport.pdf.
4. Martin Caminada and Leila Amgoud. On the evaluation of argumentation formalisms. Artificial Intelligence, 171 (5-6):286-310,2007.
5. M.W.A. Caminada. On the issue of reinstatement in argumentation. In M. Fischer, W. van der Hoek, B. Konev, and A. Lisitsa, editors, Logics in Artificial Intelligence; 10th European Conference, JELIA 2006, pages 111-123. Springer, 2006. LNAI 4160.
6. M.W.A. Caminada. Semi-stable semantics. In RE. Dunne and TJ.M. Bench-Capon, editors, Computational Models of Argument; Proceedings of COMMA 2006, pages 121-130. IOS Press, 2006.
7. M.W.A. Caminada. Well-founded semantics for semi-normal extended logic programs. In J Dix and A. Hunter, editors, Proceedings of the 11th International Workshop of Nonmonotonic Reasoning, special session on answer set programming, pages 103-108, 2006.
8. C. I. Chesñevar, A. Maguitman, and R. P. Loui. Logical models of arguments. ACM Computing Surveys, 32(4):337-383,2000.
9. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77:321-357, 1995.
10. Phan Minh Dung, Paolo Mancarella, and Francesca Toni. Computing ideal sceptical argumentation. Technical report, Imperial College, 2006.
11. Phan Minh Dung, Paolo Mancarella, and Francesca Toni. A dialectical procedure for sceptical, assumption-based argumentation. In P.E. Dunne and TJ.M. Bench-Capon, editors, Computational Models of Argument; Proceedings of COMMA 2006, pages 145-156. IOS, 2006.
12. H. Jakobovits and D. Vermeir. Robust semantics for argumentation frameworks. Journal of logic and computation, 9(2):215-261, 1999.
13. H. Prakken and G. A. W. Vreeswijk. Logics for defeasible argumentation. In D. Gabbay and F. Günthner, editors, Handbook of Philosophical Logic, volume 4, pages 219-318. Kluwer Academic Publishers, Dordrecht/Boston/London, second edition, 2002.
14. I. Rahwan, S. D. Ramchurn, N. R. Jennings, P. McBurney, S. Parsons, and L. Sonenberg. Argumentation-based negotiation. Knowledge engineering review, 18(4):343-375,2003.