Applications of circumscription to formalizing common-sense knowledge
- 1 February 1986
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 28 (1), 89-116
- https://doi.org/10.1016/0004-3702(86)90032-9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- A decidable fragment of predicate calculusTheoretical Computer Science, 1984
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980