Integrating Abductive and Constraint Logic Programming.

Antonis C. Kakas, Antonia Michael

Browse the full ICLP paper archive.