A study of provability in defeasible logic

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

Volumn 1502, Issue , 1998, Pages 215-226

  Maher, M J ^a   Antoniou, G ^a   Billington, D ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

DEFEASIBLE LOGIC; DEFEASIBLE RULES; EFFICIENT IMPLEMENTATION; NON-MONOTONIC REASONING; PROOF THEORY;

COMPUTER CIRCUITS;

EID: 84947902250     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0095054     Document Type: Conference Paper

References (8)

1. G. Antoniou. Nonmonotonic Reasoning. MIT Press 1997.
2. G. Antoniou, D. Billington and M.J. Maher. Normal Forms for Defeasible Logic. In Proc. Joint International Conference and Symposium on Logic Programming 1998, MIT Press 1998 (accepted).
3. D. Billington. Defeasible Logic is Stable. Journal of Logic and Computation 3 (1993): 370-400.
4. M.A. Covington, D. Nute and A. Vellino. Prolog Programming in Depth. Prentice Hall 1997.
5. B.N. Grosof. Prioritized Conflict Handling for Logic Programs. In Proc. Int. Logic Programming Symposium, J. Maluszynski (Ed.), 197-211. MIT Press, 1997.
6. V. Marek and M. Truszczynski. Nonmonotonic Logic, Springer 1993.
7. D. Nute. Defeasible Reasoning. In Proc. 20th Hawaii International Conference on Systems Science, IEEE Press 1987, 470-477.
8. D. Nute. Defeasible Logic. In D.M. Gabbay, C.J. Hogger and J.A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353-395.