Instantiating knowledge bases in abstract argumentation frameworks

AAAI Fall Symposium - Technical Report

Volumn FS-09-06, Issue , 2009, Pages 76-83

  Wyner, Adam ^a   Bench Capon, Trevor ^b   Dunne, Paul ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT ARGUMENTATION; ARGUMENTATION FRAMEWORKS; DEFEASIBLE REASONING; KNOWLEDGE BASIS; LITERALS;

ABSTRACTING;

EID: 77954238654     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Amgoud, L.; Caminada, M.; Cayrol, C.; Lagasquie, M.-C.; and Prakken, H. 2004. Towards a consensual formal model: inference part. Technical report, ASPIC project. Deliverable D2.2: Draft Formal Semantics for Inference and Decision-Making.
2. Besnard, P., and Hunter, A. 2008. Elements of Argumentation. MIT Press.
3. Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; and Toni, F. 1997. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence 93:63-101.
4. Caminada, M., and Amgoud, L. 2007. On the evaluation of argumentation formalisms. Artificial Intelligence 171(5-6):286-310.
5. Dung, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77(2):321-358.
6. Dunne, P. E., and Bench-Capon, T. J. M. 2002. Coherence in finite argument systems. Artificial Intelligence 141(1):187-203.
7. García, A. J., and Simari, G. R. 2004. Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(1):95-137.
8. McCarthy, J. 1980. Circumscription - a form of non-monotonic reasoning. Artificial Intelligence 13:27-39.
9. Prakken, H., and Sartor, G. 1997. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1).
10. Prakken, H. 2005. A study of accrual of arguments, with applications to evidential reasoning. In ICAIL '05: Proceedings of the 10th International Conference on Artificial Intelligence and Law, 85-94. New York, NY, USA: ACM.
11. Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence 13(1-2):81-132.
12. Wyner, A.; Bench-Capon, T.; and Atkinson, K. 2008. Three senses of "argument". In Sartor, G.; Casanovas, P.; Rubino, R.; and Casellas, N., eds., Computable Models of the Law: Languages, Dialogues, Games, Ontologies, LNAI 4884. Springer. 146-161.