Compiling Circumscriptive Theories into Logic Programs.

Michael Gelfond, Vladimir Lifschitz

Browse the full AAAI paper archive.