An Experimental Relational Data Base System Based on Logic
- 1 January 1978
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Search strategy and selection function for an inferential relational systemACM Transactions on Database Systems, 1978
- DEDUCE 2: Further Investigations of Deduction in Relational Data BasesPublished by Springer Nature ,1978
- Deductive Planning and Pathfinding for Relational Data BasesPublished by Springer Nature ,1978
- The Q∗ algorithm—a search strategy for a deductive question-answering systemArtificial Intelligence, 1974
- MRPPS?An interactive refutation proof procedure system for question-answeringInternational Journal of Parallel Programming, 1974
- Linear resolution with selection functionArtificial Intelligence, 1972
- Two Results on Ordering for Resolution with Merging and Linear FormatJournal of the ACM, 1971
- Extracting information from resolution proof treesArtificial Intelligence, 1971
- A Simplified Format for the Model Elimination Theorem-Proving ProcedureJournal of the ACM, 1969
- The use of theorem-proving techniques in question-answering systemsPublished by Association for Computing Machinery (ACM) ,1968