Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report).

Vladimir Lifschitz

Browse the full AAAI paper archive.