On the resolution-based family of abstract argumentation semantics and its grounded instance

Artificial Intelligence

Volumn 175, Issue 3-4, 2011, Pages 791-813

  Baroni, P ^a   Dunne, P E ^b   Giacomin, M ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Abstract argumentation semantics; Argumentation framework; Computational complexity; Grounded semantics; Semantics evaluation criteria

Indexed keywords

ABSTRACT ARGUMENTATION; ABSTRACT ARGUMENTATION SEMANTICS; ARGUMENTATION FRAMEWORK; GROUNDED SEMANTICS; PARAMETRIC FAMILY;

ABSTRACTING; COMPUTATIONAL COMPLEXITY;

SEMANTICS;

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

References (32)

1. S. Abramsky, and A. Jung Domain theory S. Abramsky, D. Gabbay, T.S.E. Maibaum, Semantic Structures Handbook of Logic in Computer Science vol. 3 1995 Oxford University Press Oxford 1 168
2. L. Amgoud, and C. Cayrol A reasoning model based on the production of acceptable arguments Annals of Mathematics and Artificial Intelligence 34 2002 197 215
3. P. Baroni, F. Cerutti, M. Giacomin, and G. Guida Encompassing attacks to attacks in abstract argumentation frameworks C. Sossai, G. Chemello, Proc. 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2009, Verona, Italy LNAI vol. 5590 2009 Springer-Verlag 83 94
4. P. Baroni, F. Cerutti, M. Giacomin, and G. Guida AFRA: Argumentation framework with recursive attacks International Journal of Approximate Reasoning 51 1 2011 19 37
5. P. Baroni, and M. Giacomin Evaluating argumentation semantics with respect to skepticism adequacy L. Godo, Proc. 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2005, Barcelona, Spain LNAI vol. 3571 2005 Springer-Verlag 329 340
6. P. Baroni, and M. Giacomin On principle-based evaluation of extension-based argumentation semantics Artificial Intelligence 171 10/15 2007 675 700
7. P. Baroni, and M. Giacomin Semantics of abstract argument systems I. Rahwan, G.R. Simari, Argumentation in Artificial Intelligence 2009 Springer Berlin 25 44
8. P. Baroni, and M. Giacomin Skepticism relations for comparing argumentation semantics International Journal of Approximate Reasoning 50 6 2009 854 866
9. P. Baroni, M. Giacomin, G. Guida, Towards a formalization of skepticism in extension-based argumentation semantics, in: Proceedings of the 4th Workshop on Computational Models of Natural Argument (CMNA 2004), Valencia, Spain, 2004, pp. 47-52.
10. Pietro Baroni, Massimiliano Giacomin, and Giovanni Guida SCC-recursiveness: a general schema for argumentation semantics Artificial Intelligence 168 1-2 2005 165 210
11. T.J.M. Bench-Capon Persuasion in practical argument using value-based argumentation frameworks Journal of Logic and Computation 13 3 2003 429 448
12. T.J.M. Bench-Capon, S. Doutre, and P.E. Dunne Audiences in argumentation frameworks Artificial Intelligence 171 2007 42 71
13. M. Caminada Semi-stable semantics P.E. Dunne, T.J.M. Bench-Capon, Proc. of the 1st International Conference on Computational Models of Argument COMMA 2006, Liverpool, UK Frontiers in Artificial Intelligence and Applications vol. 144 2005 IOS Press 121 130
14. M. Caminada, and L. Amgoud On the evaluation of argumentation formalisms Artificial Intelligence 171 5-6 2007 286 310
15. S. Coste-Marquis, C. Devred, and P. Marquis Prudent semantics for argumentation frameworks Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence ICTAI 2005, Hong Kong, China 2005 IEEE Computer Society 568 572
16. S. Coste-Marquis, C. Devred, and P. Marquis Symmetric argumentation frameworks L. Godo, Proc. 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2005, Barcelona, Spain LNAI vol. 3571 2005 Springer-Verlag 317 328
17. Y. Dimopoulos, and A. Torres Graph theoretical structures in logic programs and default theories Theoretical Computer Science 170 1-2 1996 209 244
18. P.M. Dung On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games Artificial Intelligence 77 2 1995 321 357
19. P.M. Dung, P. Mancarella, and F. Toni A dialectic procedure for sceptical, assumption-based argumentation P.E. Dunne, T.J.M. Bench-Capon, Proc. of the 1st International Conference on Computational Models of Argument COMMA 2006, Liverpool, UK Frontiers in Artificial Intelligence and Applications vol. 144 2005 IOS Press 145 156
20. P.E. Dunne Computational properties of argument systems satisfying graph-theoretic constraints Artificial Intelligence 171 10/15 2007 701 729
21. P.E. Dunne The computational complexity of ideal semantics Artificial Intelligence 174 2009 20 50
22. P.E. Dunne, and T.J.M. Bench-Capon Coherence in finite argument systems Artificial Intelligence 141 1 2002 187 203
23. P.E. Dunne, and T.J.M. Bench-Capon Complexity in value-based argument systems Proc. 9th European Conference on Logics in Artificial Intelligence JELIA 04, Lisbon LNAI vol. 3229 2004 Springer-Verlag 360 371
24. P.E. Dunne, and M. Caminada Computational complexity of semi-stable semantics in abstract argumentation frameworks Proc. 11th European Conference on Logics in Artificial Intelligence JELIA 08, Dresden LNAI vol. 3293 2008 Springer-Verlag 153 165
25. P.E. Dunne, A. Hunter, P. McBurney, S. Parsons, and M. Wooldridge Weighted argument systems: Basic definitions, algorithms, and complexity results Artificial Intelligence 175 2 2010 457 486 10.1016/.artint.2010.09.005
26. P.E. Dunne, and M. Wooldridge Complexity of abstract argumentation I. Rahwan, G.R. Simari, Argumentation in Artificial Intelligence 2009 Springer Berlin 85 104
27. K. Inoue, and C. Sakama Generality and equivalence relations in default logic Proc. of 22nd Conference on Artificial Intelligence AAAI-07, Vancouver, BC 2007 AAAI Press 434 439
28. S. Modgil Hierarchical argumentation Proc. of the 10th European Conference on Logics in Artificial Intelligence JELIA 06 Lecture Notes in Computer Science vol. 4160 2006 Springer 319 332
29. S. Modgil Reasoning about preferences in argumentation frameworks Artificial Intelligence 173 9-10 2009 901 934
30. G.D. Plotkin A powerdomain construction SIAM Journal on Computing 5 3 1976 452 487
31. H. Prakken An abstract framework for argumentation with structured arguments Argument and Computation 1 2 2010 93 124
32. B. Verheij, Two approaches to dialectical argumentation: admissible sets and argumentation stages, in: Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC'96), Utrecht, NL, 1996, pp. 357-368.