On Closed World Data Bases
Author:
- 1 January 1978
- book chapter
- Published by Springer Nature
- p. 55-76
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Deductive Question-Answering on Relational Data Bases1978
- Data Base: Theory vs. Interpretation1978
- Negation as Failure1978
- An Approach to Deductive Question-Answering1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Unit Refutations and Horn SetsJournal of the ACM, 1974
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965