Defeasible logic versus Logic Programming without Negation as Failure

Journal of Logic Programming

Volumn 42, Issue 1, 2000, Pages 47-57

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

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; DATA ACQUISITION; DATA STRUCTURES; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; THEOREM PROVING;

DEFAULT REASONING; DEFEASIBLE LOGIC;

LOGIC PROGRAMMING;

EID: 0033876868     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(99)00060-6     Document Type: Article

References (13)

1. G. Antoniou, Nonmonotonic Reasoning, MIT Press, Cambrige, MA, 1997.
2. G. Antoniou, D. Billington, M.J. Maher, Normal forms for defeasible logic, in: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1998, pp. 160-174.
3. D. Billington, Defeasible logic is stable, Journal of Logic and Computation 3 (1993) 370-400.
4. M.A. Covington, D. Nute, A. Vellino, Prolog Programming in Depth, Prentice-Hall, Englewood Cliffs, NJ, 1997.
5. Y. Dimopoulos, A. Kakas, Logic programming without negation as failure, in: Proceedings of the Fifth International Symposium on Logic Programming, MIT Press, Cambridge, MA, 1995, pp. 369-384.
6. B.N. Grosof, Prioritized conflict handling for logic programs, in: J. Maluszynski (Ed.), Proceedings of the International Logic Programming Symposium, MIT Press, Cambridge, MA, 1997, pp. 197-211.
7. A.C. Kakas, P. Mancarella, P.M. Dung. The acceptability semantics for logic programs, in: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), MIT Press, Cambridge, MA, 1994, pp. 504-519.
8. M.J. Maher, G. Antoniou, D. Billington, A study of provability in defeasible logic, in: Proceedings of the 11th Australian Joint Conference on Artificial Intelligence, LNAI 1502, Springer, Berlin, 1998, pp. 215-226.
9. D. Nute, Defeasible reasoning, in: Proceedings of the 20th Hawaii International Conference on Systems Science, IEEE Press, New York, 1987, pp. 470-477.
10. D. Nute, Defeasible logic, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Oxford University Press, USA, 1994, pp. 353-395.
11. D. Touretzky, J.F. Horty, R.H. Thomason, A clash of intuitions: The current state of nonmonotonic multiple inheritance systems, in: Proceedings of the IJCAI-87, Morgan Kaufmann, Los Altos, CA, 1987, pp. 476-482.
12. X. Wang, J. You, L. Yuan, Nonmonotonic reasoning by monotonic inferences with priority constraints, in: J. Dix, P. Pereira, T. Przymusinski (Eds.), Nonmonotonic Extensions of Logic Programming, LNAI 1216, Springer, Berlin, 1997, pp. 91-109.
13. X. Wang, J. You, L. Yuan, Logic programming without default negation revisited, in: Proceedings of the IEEE International Conference on Intelligent Processing Systems, IEEE, 1997, pp. 1169-1174.