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

Aditya Ghose, Srinivas Padmanabhuni

Browse the full AAAI paper archive.