Saturation, nonmonotonic reasoning and the closed-world assumption
- 31 January 1985
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 25 (1), 13-63
- https://doi.org/10.1016/0004-3702(85)90040-2
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The mathematics of non-monotonic reasoningArtificial Intelligence, 1980
- 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
- Two Results on Ordering for Resolution with Merging and Linear FormatJournal of the ACM, 1971
- Automatic Theorem Proving With Renamable and Semantic ResolutionJournal of the ACM, 1967