- 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.

Back to ACLP home page