Circumscriptive Theories: A Logic–Based Framework for Knowledge Representation (1988)

by Vladimir Lifschitz
Venue:Journal of Philosophical Logic