Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programming

Aditya Ghose, Srinivas Padmanabhuni. Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programming. In AAAI/IAAI. pages 265-270, 1999.

Abstract

Abstract is missing.