ACLP Papers

A.C.Kakas, A.Michael. Integrating abductive and constraint logic programming. Procedings of the Twelfth International Conference on Logic Programming, Tokyo 1995. [postscript]

A.C.Kakas, A.Michael, C.Mourlas. Abductive Constraint Logic Programming. Technical Report, University of Cyprus, 1998. [postscript]

A.C.Kakas, C.Mourlas. ACLP: Flexible Solutions to Complex Problems. Proceedings of Logic Programming and Non-monotonic Reasoning, 1997. [postscript]

A.C.Kakas. ACLP: Integrating Abduction and Constraint Solving. Proceedings of Workshop on Non-monotonic Reasoning, 2000. [postscript]