Negations as Hypotheses: An Abductive Foundation for Logic Programming.

Phan Minh Dung

Browse the full ICLP paper archive.