Abduction and Abductive Logic Programming.

Antonis C. Kakas, Paolo Mancarella

Browse the full ICLP paper archive.