SCC-recursiveness: A general schema for argumentation semantics

Artificial Intelligence

Volumn 168, Issue 1-2, 2005, Pages 162-210

  Baroni, Pietro ^a   Giacomin, Massimiliano ^a   Guida, Giovanni ^a  

^a UNIVERSITY OF BRESCIA   (Italy)

Author keywords

Argumentation semantics; Defeat cycles; Extensions

Indexed keywords

ABSTRACTING; THEOREM PROVING;

ARGUMENTATION SEMANTICS; DEFECT CYCLES; EXTENSIONS;

SEMANTICS;

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

References (27)

1. L. Amgoud, and C. Cayrol Inferring from inconsistency in preference-based argumentation frameworks J. Automat. Reason. 29 2 2002 125 169
2. L. Amgoud, and C. Cayrol A reasoning model based on the production of acceptable arguments Ann. Math. Artificial Intelligence 34 1-3 2002 197 215
3. L. Amgoud, S. Parsons, and N. Maudet Arguments, dialogue, and negotiation Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000) 2000 IOS Press Berlin 338 342
4. P. Baroni, and M. Giacomin Solving semantic problems with odd-length cycles in argumentation Proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003) Lecture Notes in Artificial Intelligence vol. 2711 2003 Springer Aalborg, Denmark 440 451
5. P. Baroni, M. Giacomin, A recursive approach to argumentation: motivation and perspectives, in: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, BC, Canada, 2004, pp. 50-58
6. P. Baroni, M. Giacomin, and G. Guida Extending abstract argumentation systems theory Artificial Intelligence 120 2 2000 251 270
7. P. Baroni, M. Giacomin, G. Guida, On the notion of strength in argumentation: overcoming the epistemic/practical dichotomy, in: Proceedings of the 2001 ECSQARU Workshop - Adventures in Argumentation Toulouse, France, 2001, pp. 1-8
8. 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
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 2 1995 321 357
10. A.J. Garcia, and G.R. Simari Defeasible logic programming: An argumentative approach Theory Pract. Logic Programming 4 1 2004 95 138
11. J.F. Horty Skepticism and floating conclusions Artificial Intelligence 135 1-2 2002 55 72
12. D. Makinson, and K. Schlechta Floating conclusions and zombie paths: Two deep difficulties in the 'directly skeptical' approach to defeasible inheritance networks Artificial Intelligence 48 2 1991 199 209
13. J.L. Pollock How to reason defeasibly Artificial Intelligence 57 1 1992 1 42
14. J.L. Pollock Justification and defeat Artificial Intelligence 67 1994 377 407
15. J.L. Pollock Cognitive Carpentry: A Blueprint for How to Build a Person 1995 MIT Press Cambridge, MA
16. J.L. Pollock The logical foundations of goal-regression planning in autonomous agents Artificial Intelligence 106 2 1998 267 334
17. J.L. Pollock Perceiving and reasoning about a changing world Comput. Intelligence 14 4 1998 498 562
18. J.L. Pollock Defeasible reasoning with variable degrees of justification Artificial Intelligence 133 1-2 2001 233 282
19. H. Prakken Logical Tools for Modeling Legal Argument: A Study of Defeasible Reasoning in Law 1997 Kluwer Academic Dordrecht
20. H. Prakken, Intuitions and the modelling of defeasible reasoning: Some case studies, in: Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), Toulouse, France, 2002, pp. 91-102
21. H. Prakken, and G. Sartor Argument-based extended logic programming with defeasible priorities J. Appl. Non-Class. Logics 7 1997 25 75
22. H. Prakken, and G.A.W. Vreeswijk Logics for defeasible argumentation D.M. Gabbay F. Guenthner Handbook of Philosophical Logic second ed. 2001 Kluwer Academic Dordrecht
23. R. Reiter A logic for default reasoning Artificial Intelligence 13 1-2 1980 81 132
24. K. Schlechta Directly sceptical inheritance cannot capture the intersection of extensions J. Logic Comput. 3 5 1993 455 467
25. G.R. Simari, and R.P. Loui A mathematical treatment of defeasible reasoning and its implementation Artificial Intelligence 53 2-3 1992 125 157
26. B. Verheij Artificial argument assistants for defeasible argumentation Artificial Intelligence 150 1-2 2003 291 324
27. G.A.W. Vreeswijk Abstract argumentation systems Artificial Intelligence 90 1-2 1997 225 279