MRPPS?An interactive refutation proof procedure system for question-answering
From MaRDI portal
Publication:4766066
DOI10.1007/BF00976637zbMATH Open0279.68064OpenAlexW1977692086MaRDI QIDQ4766066FDOQ4766066
Authors: Jack Minker, James R. McSkimin, Daniel H. Fishman 
Publication date: 1974
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00976637
Cites Work
- STRIPS: A new approach to the application of theorem proving to problem solving
- A Machine-Oriented Logic Based on the Resolution Principle
- Title not available (Why is that?)
- Linear resolution with selection function
- Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
- Automatic Theorem Proving With Renamable and Semantic Resolution
- Title not available (Why is that?)
- Title not available (Why is that?)
- Theorem-Proving for Computers: Some Results on Resolution and Renaming
- The Unit Proof and the Input Proof in Theorem Proving
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
- Experiments with a heuristic theorem-proving program for predicate calculus with equality
- MRPPS?An interactive refutation proof procedure system for question-answering
- Experiments in automatic learning for a multipurpose hueristic program
Cited In (5)
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
- A pragmatic approach to resolution-based theorem proving
- Jack Minker --- A profile
- MRPPS?An interactive refutation proof procedure system for question-answering
- \(\Pi\)-representation: A clause representation for parallel search
This page was built for publication: MRPPS?An interactive refutation proof procedure system for question-answering
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4766066)
