Completeness results for circumscription
- 28 February 1986
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 28 (1) , 29-42
- https://doi.org/10.1016/0004-3702(86)90029-9
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The mathematics of non-monotonic reasoningArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980