Abductive Logic Programming.

Antonis C. Kakas, Paolo Mancarella

Browse the full LPNMR paper archive.