Assumption-based argumentation for epistemic and practical reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4884 LNAI, Issue , 2007, Pages 185-202

  Toni, Francesca ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT ARGUMENTATIONS; APPLICATIONS.; ARGUMENTATION FRAMEWORKS; COMPUTATIONAL TOOLS; FORMAL MAPPINGS; PRACTICAL REASONINGS;

ONTOLOGY;

FORMAL LOGIC;

EID: 56749103417     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85569-9-12     Document Type: Conference Paper

References (22)

1. Bench-Capon, T., Prakken, H.: Justifying actions by accruing arguments. In: COMMA 2006 (2006)
2. Bondarenko, A., Dung, P., Kowalski, R., Toni, F.: An abstract, argumentation-theoretic framework for default reasoning. Artificial Intelligence 93(1-2), 63-101 (1997)
3. Brewka, G.: Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research 4, 19 (1996)
4. Caminada, M., Amgoud, L.: An axiomatic account of formal argumentation. In: Proc. AAAI (2005)
5. Dimopoulos, Y., Nebel, B., Toni, F.: On the computational complexity of assumption-based argumentation for default reasoning. Artificial Intelligence 141, 57-78 (2002)
6. Dung, P.: The acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming and n-person game. Artificial Intelligence 77, 321-357 (1995)
7. Dung, P., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170, 114-159 (2006)
8. Dung, P., Mancarella, P., Toni, F.: A dialectic procedure for sceptical, assumptionbased argumentation. In: 1st International Conference on Computational Models of Argument (COMMA 2006) (September 2006)
9. Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artificial Intelligence, Special Issue on Argumentation in Artificial Intelligence 171(10-15), 642-674 (2007)
10. Gaertner, D., Toni, F.: A credulous and sceptical argumentation system. In: Proceedings of ArgNMR (2007), www.doc.ic.ac.uk/~dg00/casapi.html
11. Gaertner, D., Toni, F.: On computing arguments and attacks in assumption-based argumentation. IEEE Intelligent Systems, Special Issue on Argumentation Technology 22(6), 24-33 (2007)
12. Garcia, A., Simari, G.: Defeasible logic programming: An argumentative approach. Journal of Theory and Practice of Logic Prog. 4(1-2), 95-138 (2004)
13. Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5), 675-702 (2004)
14. Kakas, A., Mancarella, P., Dung, P.: The acceptability semantics for logic programs. In: Hentenryck, P.V. (ed.) Proc. ICLP, pp. 504-519. MIT Press, Cambridge (1994)
15. Kakas, A., Moraitis, P.: Argumentation based decision making for autonomous agents. In: Proceedings of AAMAS 2003, pp. 883-890 (2003)
16. Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents. In: AAMAS, pp. 883-890 (2003)
17. Kowalski, R.A., Toni, F.: Abstract argumentation. Journal of Artificial Intelligence and Law, Special Issue on Logical Models of Argumentation 4(3-4), 275-296 (1996)
18. Prakken, H., Sartor, G.: On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities. In: Proc. of the 5th ICAIL, pp. 1-10. ACM Press, New York (1995)
19. Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1), 25-75 (1997)
20. Prakken, H., Sartor, G.: The role of logic in computational models of legal argument: a critical survey. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 342-381. Springer, Heidelberg (2002)
21. Rahwan, I., Amgoud, L.: An argumentation-based approach for practical reasoning. In: Proc. AAMAS 2006, pp. 347-354. ACM Press, New York (2006)
22. Toni, F.: Assumption-based argumentation for closed and consistent defeasible reasoning. In: Nitta, K., Tojo, S., Satoh, K. (eds.) Proceedings First International Workshop on Juris-informatics (JURISIN 2007), in association with The 21th Annual Conference of The Japanese Society for Artificial Intelligence (JSAI 2007), 19 June (2007)