On indefinite databases and the closed world assumption
Top Cited Papers
- 7 September 2005
- conference paper
- Published by Springer Nature
- p. 292-308
- https://doi.org/10.1007/bfb0000066
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Non-monotonic logic IArtificial Intelligence, 1980
- Addendum: Circumscription and other non-monotonic formalismsArtificial Intelligence, 1980
- The mathematics of non-monotonic reasoningArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Logic for Data DescriptionPublished by Springer Nature ,1978
- Data Base: Theory vs. InterpretationPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978
- Linear resolution with selection functionArtificial Intelligence, 1972
- Two Results on Ordering for Resolution with Merging and Linear FormatJournal of the ACM, 1971
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968