A dialectic procedure for sceptical, assumption-based argumentation

Frontiers in Artificial Intelligence and Applications

Volumn 144, Issue , 2006, Pages 145-156

  Dung, Phan Minh ^a   Mancarella, Paolo ^b   Toni, Francesca ^c  

^a ASIAN INSTITUTE OF TECHNOLOGY   (Thailand)

^b UNIVERSITY OF PISA   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Argumentation frameworks; Tools for argumentation

Indexed keywords

COMPUTATION THEORY; LOGIC PROGRAMMING;

ARGUMENTATION FRAMEWORKS; LOGIC-PROGRAMMING; PROOF PROCEDURES; PROPERTY; TOOL FOR ARGUMENTATION; UNDERLYING LANGUAGE; WELL-FOUNDED SEMANTICS;

SEMANTICS;

EID: 84940557687     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (14)

1. José Júlio Alferes, Phan Minh Dung, and Luís Moniz Pereira. Scenario semantics of extended logic programs. In A. Nerode and L. Pereira, editors, Proc. 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, pages 334-348. MIT Press, 1993.
2. Phan Minh Dung, Robert A. Kowalski, and Francesca Toni. Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence, 170:114-159, 2006.
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):63-101, 1997.
4. R. A. Kowalski and F. Toni. Abstract argumentation. Journal of Artificial Intelligence and Law, Special Issue on Logical Models of Argumentation, 4(3-4):275-296, 1996.
5. P.M. Dung, P. Mancarella, and F. Toni. A dialectic proof procedure for sceptical assumptionbased argumentation. Technical report, AIT, 2006.
6. Antonis C. Kakas and Francesca Toni. Computing argumentation in logic programming. Journal of Logic and Computation, 9(4):515-562, 1999.
7. J. Pollock. Defeasible reasoning. Cognitive Science, 11(4):481-518, 1987.
8. Henry Prakken and Giovanni Sartor. The role of logic in computational models of legal argument: A critical survey. In Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, pages 342-381. Springer, 2002.
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:321-357, 1995.
10. Phan Minh Dung, Paolo Mancarella, and Francesca Toni. Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning. In Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, pages 289-310. Springer, 2002.
11. Chitta Baral and Michael Gelfond. Logic programming and knowledge representation. Journal of Logic Programming, 19/20:73-148, 1994.
12. G. Vreeswijk and H. Prakken. Credulous and sceptical argument games for preferred semantics. In Proc. JELIA, pages 224-238. Springer Verlag LNCS 1919, 2000.
13. P.E. Dunne and T.J.M. Bench-Capon. Coherence in finite argument systems. Artificial Intelligence, 149:221-250, 2003.
14. C. Cayrol, S. Doutre, and J. Mengin. On decision problems related to preferred semantics a of argumentation frameworks. Journal of Logic and Computation, 13(3):377-403, 1003.