A system for defeasible argumentation, with defeasible priorities

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

Volumn 1085, Issue , 1996, Pages 510-524

  Prakken, Henry ^a   Sartor, Giovanni ^b,c  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

DEFEASIBLE ARGUMENTATION; LEGAL REASONING;

LOGIC PROGRAMMING;

EID: 84947909175     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_97     Document Type: Conference Paper

References (18)

1. A. Analyti and S. Pramanik, Reliable semantics for extended logic programs with rule prioritization. Journal of Logic and Computation 5 (1995), 303-324.
2. A. Bondarenko, F. Toni, R.A. Kowalski, An assumption-based framework for nonmonotonic reasoning. Proceedings of the Second International Workshop on Logic Programming and Nonmonotonic Reasoning, MIT Press, 1993, 171-189.
3. G. Brewka, Reasoning about priorities in default logic. Proceedings AAAI-94, 247-260.
4. G. Brewka, What does a defeasible rule base with explicit prioritiy information entail? Proceedings of the second Dutch/German Workshop on Nonmonotonic Reasoning, Utrecht 1995, 25-32.
5. P.M. Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games. Artificial Intelligence 77 (1995), 321-357.
6. P.M. Dung, An argumentation semantics for logic programming with explicit negation. Proceedings of the Tenth Logic Programming Conference, MIT Press 1993, 616-630.
7. H. Geffner and J. Pearl, Conditional entailment: bridging two approaches to default reasoning. Artificial Intelligence 53 (1992), 209-244.
8. T.F. Gordon, The pleadings game: an exercise in computational dialectics. Artificial Intelligence and Law, Vol. 2, № 4, 1994, 239-292.
9. E. Laenens and D. Vermeir, A fixed points semantics for ordered logic. Journal of Logic and Computation Vol. 1 № 2, 1990, 159-185.
10. R.P. Loui, J. Norman, J. Olson, A. Merrill, A design for reasoning with policies, precedents, and rationales. Proceedings of the Fourth International Conference on Artificial Intelligence and Law, ACM Press, 1993, 202-211.
11. D. Nute, Defeasible logic. In D. Gabbay (ed.) Handbook of Logic and Artificial Intelligence, Vol. 3. Oxford University Press, 1994, 353-395.
12. L.M. Pereira and J.J. Alferes, Well-founded semantics for logic programs with explicit negation. Proceedings ECAI-92.
13. J.L. Pollock, Defeasible reasoning. Cognitive Science 11 (1987), 481-518.
14. H. Prakken, An argumentation framework in default logic. Annals of Mathematics and Artificial Intelligence, 9 (1993) 91-131.
15. H. Prakken, A semantic view on reasoning about priorities (extended abstract) Proceedings of the Second Dutch/German Workshop on Nonmonotonic Reasoning, Utrecht 1995, 152-159.
16. H. Prakken and G. Sartor, On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities. Proceedings of the Fifth International Conference on Artificial Intelligence and Law. ACM Press 1995, 1-9.
17. G.R. Simari and R.P. Loui, A mathematical treatment of defeasible argumentation and its implementation. Artificial Intelligence 53 (1992), 125-157.
18. G. Vreeswijk, Studies in defeasible argumentation. Doctoral dissertation Free University Amsterdam, 1993.