1989b): "Circumscriptive Theories: A Logic-based Framework for Knowledge Representation," this collection (0)

by Vladimir Lifschitz