Domain circumscription: a reevaluation
- 1 February 1987
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 3 (1) , 94-99
- https://doi.org/10.1111/j.1467-8640.1987.tb00177.x
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Completeness results for circumscriptionArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- Towards a Logical Reconstruction of Relational Database TheoryPublished by Springer Nature ,1984
- 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
- A truth maintenance systemArtificial Intelligence, 1979
- Fundamentals of Model TheoryPublished by Elsevier ,1977