Completeness of the Negation as Failure Rule.

Joxan Jaffar, Jean-Louis Lassez, John W. Lloyd

Browse the full IJCAI paper archive.