Soundness and Completeness of a Logic Programming Approach to Default Logic.

Grigoris Antoniou, Elmar Langetepe

Browse the full AAAI paper archive.