Related Papers and Technical Reports

A.C.Kakas, R.A.Kowalski, F.Toni. The Role of Abduction in Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming 5, pages 235-324, D.M. Gabbay, C.J. Hogger and J.A. Robinson eds., Oxford University Press, 1998. [postscript]

A.C.Kakas, P.Mancarella. Generalized Stable Models: a Semantics for Abduction. Proc. 9th European Conference on AI, ECAI90, Stockolm, 1990. [postscript]

M.Denecker, D.De Schreye. SLDNFA: an abductive procedure for normal abductive programs. Proc. International Conference and Symposium on Logic Programming, 686-700, 1992.

A.C.Kakas, P.Mancarella. On the relation of truth maintenance and abduction, Proc. 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI90, Nagoya, Japan, 1990. [postscript]

A.C.Kakas, P.Mancarella. Database updates through abduction. Proc. 16th International Conference on Very Large Databases, VLDB'90, Brisbane, Australia, 1990. [postscript]

M. Denecker, D. De Schreye. SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming, 1997.

A.C.Kakas, P.Mancarella. Constructive Abduction in Logic Programming. Technical Report, Dipartimento di Informatica, Universita di Pisa, 1993. [postscript]

D.Poole, R.G.Goebel, Aleliunas, Theorist: a logical reasoning system for default and diagnosis. The Knowledge Fronteer: Essays in the Representation of Knowledge, (Cercone and McCalla eds), Springer Verlag Lecture Notes in Computer Science, 1987.

T.Menzies. Applications of Abduction: Knowledge-Level Modeling. International Journal of Human Computer Studies, August, 1996.

A., Michael. Abductive Logic Programming and its Application to Scheduling. PhD thesis, University of London, submitted, 1998. [postscript]

M.P.Shanahan. Prediction is Deduction but Explanation is Abduction. Proceedings of IJCAI89, 1989.

G., Wetzel. Abductive and Constraint Logic Programming. Ph.D. thesis, Imperial College, London, 1997.

M. Denecker, H. Vandecasteele, D. De Schreye, G. Seghers and T. Bayens. Scheduling by "Abductive Execution" of a Classical Logic Specification. Technical Report, Department of Computer Science, K.U.Leuven, Belgium, 1997.

K.Esghsi. Abductive Planning with the Event Calculus. Proceedings of the Fifth International Conference on Logic Programming, 1988.