MRPPS?An interactive refutation proof procedure system for question-answering
- 1 January 1974
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 3 (2) , 105-122
- https://doi.org/10.1007/bf00976637
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Recent Developments in SAIL. An ALGOL-Based Language for Artificial IntelligencePublished by Defense Technical Information Center (DTIC) ,1972
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971
- Experiments with a heuristic theorem-proving program for predicate calculus with equalityArtificial Intelligence, 1971
- Introduction to “feature analysis of generalized data base management systems”Communications of the ACM, 1971
- Experiments in automatic learning for a multipurpose hueristic programCommunications of the ACM, 1971
- The Unit Proof and the Input Proof in Theorem ProvingJournal of the ACM, 1970
- Automatic Theorem Proving With Renamable and Semantic ResolutionJournal of the ACM, 1967
- Theorem-Proving for Computers: Some Results on Resolution and RenamingThe Computer Journal, 1966
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965