Dialectic proof procedures for assumption-based, admissible argumentation

Artificial Intelligence

Volumn 170, Issue 2, 2006, Pages 114-159

  Dung, P M ^a   Kowalski, R A ^b   Toni, F ^b  

^a ASIAN INSTITUTE OF TECHNOLOGY   (Thailand)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Admissibility semantics; Argumentation; Assumption based reasoning; Dialectic; Dispute; Proof procedure

Indexed keywords

ARTIFICIAL INTELLIGENCE;

ARGUMENTATION; DIALECTIC; DISPUTE; PROOF PROCEDURES;

SEMANTICS;

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

References (39)

1. K.R. Apt, H. Blair, and A. Walker Towards a theory of declarative knowledge J. Minker Foundations of Deductive Databases and Logic Programming 1988 Morgan Kaufmann San Mateo, CA
2. K.R. Apt, and R. Bol Logic programming and negation: A survey J. Logic Programming 19-20 1994 9 71
3. A. Bondarenko, P.M. Dung, R.A. Kowalski, and F. Toni An abstract, argumentation-theoretic framework for default reasoning Artificial Intelligence 93 1-2 1997 63 101
4. A. Bondarenko, F. Toni, and R.A. Kowalski An assumption-based framework for non-monotonic reasoning A. Nerode L. Pereira Proc. 2nd International Workshop on Logic Programming and Non-monotonic Reasoning 1993 MIT Press Cambridge, MA 171 189
5. C. Cayrol, S. Doutre, and J. Mengin On decision problems related to preferred semantics a of argumentation frameworks J. Logic Comput. 13 3 2003 377 403
6. C. Chesnevar, A. Maguitman, and R. Loui Logical models of argument ACM Comput. Surv. 32 4 2000 337 383
7. Y. Dimopoulos, B. Nebel, and F. Toni On the computational complexity of assumption-based argumentation for default reasoning Artificial Intelligence 141 2002 57 78
8. P.M. Dung Logic programming as dialog-game 1993 Technical report, AIT
9. P.M. Dung The acceptability of arguments and its fundamental role in non-monotonic reasoning and logic programming and n-person game Artificial Intelligence 77 1995 321 357
10. P.M. Dung An argumentation theoretic foundation of logic programming J. Logic Programming 22 1995 151 177
11. P.M. Dung, R.A. Kowalski, and F. Toni Synthesis of proof procedures for default reasoning J. Gallagher Proc. LOPSTR Lecture Notes Comput. Sci. vol. 1207 1996 Springer-Verlag Berlin 313 324
12. P.M. Dung, P. Mancarella, and F. Toni Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning A.C. Kakas F. Sadri Computational Logic: Logic Programming and Beyond - Essays in Honour of Robert A. Kowalski Lecture Notes Artif. Intell. vol. 2408 2002 Springer-Verlag Berlin 289 310
13. P. Dunne, and T. Bench-Capon Coherence in finite argument systems Artificial Intelligence 141 2002 187 203
14. P.E. Dunne, and T.J.M. Bench-Capon Two party immediate response disputes: Properties and efficiency Artificial Intelligence 149 2003 221 250
15. K. Eshghi, and R.A. Kowalski Abduction compared with negation as failure Proc. ICLP 1989 MIT Press Cambridge, MA
16. A. Van Gelder, K.A. Ross, and J.S. Schlipf The well-founded semantics for general logic programs J. ACM 38 3 1991 620 650
17. M. Gelfond, and V. Lifschitz The stable model semantics for logic programming R. Kowalski K.A. Bowen Proceedings of the 5th International Conf. on Logic Programming 1988 MIT Press 1070 1080
18. T.F. Gordon The Pleadings Game. An Artificial Intelligence Model of Procedural Justice 1995 Kluwer Dordrecht
19. H. Jakobovits, and D. Vermeir Dialectic semantics for argumentation frameworks Proc. ICAIL 1999 ACM Press New York 53 62
20. A.C. Kakas, R.A. Kowalski, and F. Toni Abductive logic programming J. Logic Comput. 2 6 1993 719 770
21. A.C. Kakas, R.A. Kowalski, and F. Toni The role of abduction in logic programming D.M. Gabbay C.J. Hogger J.A. Robinson Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5 1998 Oxford University Press Oxford 235 324
22. A.C. Kakas, and F. Toni Computing argumentation in logic programming J. Logic Comput. 9 1999 515 562
23. A.C. Kakas, and P. Mancarella Stable theories for logic programs Proc. ISLP 1991 MIT Press Cambridge, MA
24. A.C. Kakas, P. Mancarella, and P.M. Dung The acceptability semantics for logic programs P. Van Hentenryck Proc. ICLP 1994 MIT Press Cambridge, MA 504 519
25. R.A. Kowalski, and F. Toni Abstract argumentation J. Artificial Intelligence and Law 4 3-4 1996 275 296 special issue on Logical Models of Argumentation
26. R.P. Loui, and J. Norman Rationales and argument moves Artificial Intelligence and Law 3 1995 158 189
27. J. McCarthy Circumscription - a form of non-monotonic reasoning Artificial Intelligence 13 1980 27 39
28. R. Moore Semantical considerations on non-monotonic logic Artificial Intelligence 25 1985
29. D. Nute Defeasible reasoning J.H. Fetzer Aspects of Artificial Intelligence 1987 Kluwer Academic Publishers Dordrecht 251 288
30. C. Perelman Justice, Law and Argument 1980 Reidel Dordrecht
31. A. Pettorossi, and M. Proietti Transformation of logic programs: Foundations and techniques J. Logic Programming 19-20 1994 261 320
32. J. Pollock Defeasible reasoning Cognitive Science 11 4 1987 481 518
33. D. Poole A logical framework for default reasoning Artificial Intelligence 36 1 1988 27 47
34. H. Prakken, and G. Sartor The role of logic in computational models of legal argument: A critical survey A.C. Kakas F. Sadri Computational Logic: Logic Programming and Beyond - Essays in Honour of Robert A. Kowalski Lecture Notes Artif. Intell. vol. 2408 2002 Springer-Verlag Berlin 342 381
35. R. Reiter A logic for default reasoning Artificial Intelligence 13 1980
36. F. Toni, and A.C. Kakas Computing the acceptability semantics V.W. Marek A. Nerode M. Truszczynski Proc. 3rd International Workshop on Logic Programming and Non-monotonic Reasoning Lecture Notes Artif. Intell. vol. 928 1995 Springer-Verlag Berlin 401 415
37. S.E. Toulmin The Uses of Arguments 1958 Cambridge University Press Cambridge
38. G. Vreeswijk, and H. Prakken Credulous and sceptical argument games for preferred semantics Proc. JELIA Lecture Notes Comput. Sci. vol. 1919 2000 Springer-Verlag Berlin 224 238
39. D.N. Walton What is reasoning? What is an argument? J. Philosophy 87 8 1990 399 419