On the satisfiability of circumscription
- 28 February 1986
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 28 (1) , 17-27
- https://doi.org/10.1016/0004-3702(86)90028-7
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980