Some contributions to the logical analysis of circumscription
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 154-171
- https://doi.org/10.1007/3-540-16780-3_88
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On the satisfiability of circumscriptionArtificial Intelligence, 1986
- Closed-world databases and circumscriptionArtificial Intelligence, 1985
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical StudiesLecture Notes in Mathematics, 1981
- Non-monotonic logic IArtificial Intelligence, 1980
- The mathematics of non-monotonic reasoningArtificial Intelligence, 1980
- Circumscription - A Form of Non-Monotonic ReasoningPublished by Defense Technical Information Center (DTIC) ,1980