On Closed World Data Bases
- 1 January 1978
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Deductive Question-Answering on Relational Data BasesPublished by Springer Nature ,1978
- Data Base: Theory vs. InterpretationPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978
- An Approach to Deductive Question-AnsweringPublished by Defense Technical Information Center (DTIC) ,1977
- 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