V. Lifschitz (1987): Computing Circumscription


Title: Computing Circumscription
Author(s): V. Lifschitz
Year: 1987
Booktitle: Readings in Nonmonotonic Reasoning
Editor(s): Ginsberg, Matthew L.
Chapter: 3.3
Pages: 167-174
Publisher: Morgan Kaufmann
Address: Los Altos, CA

Concepts