MRPPS?An interactive refutation proof procedure system for question-answering

DOI10.1007/BF00976637zbMath0279.68064OpenAlexW1977692086MaRDI QIDQ4766066

James R. McSkimin, Daniel H. Fishman, Jack Minker

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

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

Related Items

Jack Minker --- A profile, \(\Pi\)-representation: A clause representation for parallel search, A pragmatic approach to resolution-based theorem proving, The \(Q^*\) algorithm - a search strategy for a deductive question-answering system, MRPPS?An interactive refutation proof procedure system for question-answering

Cites Work

• The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
• Experiments with a heuristic theorem-proving program for predicate calculus with equality
• STRIPS: A new approach to the application of theorem proving to problem solving
• Linear resolution with selection function
• MRPPS?An interactive refutation proof procedure system for question-answering
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• A Machine-Oriented Logic Based on the Resolution Principle
• Automatic Theorem Proving With Renamable and Semantic Resolution
• Theorem-Proving for Computers: Some Results on Resolution and Renaming
• The Unit Proof and the Input Proof in Theorem Proving
• Experiments in automatic learning for a multipurpose hueristic program
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item