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

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

Mathematics Subject Classification ID

Algorithms in computer science (68W99)

Cites work

• scientific article; zbMATH DE number 3219316 (Why is no real title available?)
• scientific article; zbMATH DE number 3254919 (Why is no real title available?)
• scientific article; zbMATH DE number 3338912 (Why is no real title available?)
• scientific article; zbMATH DE number 3347627 (Why is no real title available?)
• scientific article; zbMATH DE number 3349334 (Why is no real title available?)
• scientific article; zbMATH DE number 3351222 (Why is no real title available?)
• scientific article; zbMATH DE number 3380160 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Automatic Theorem Proving With Renamable and Semantic Resolution
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• Experiments in automatic learning for a multipurpose hueristic program
• Experiments with a heuristic theorem-proving program for predicate calculus with equality
• Linear resolution with selection function
• MRPPS?An interactive refutation proof procedure system for question-answering
• STRIPS: A new approach to the application of theorem proving to problem solving
• The Unit Proof and the Input Proof in Theorem Proving
• The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
• Theorem-Proving for Computers: Some Results on Resolution and Renaming

Cited in

(5)

• Jack Minker --- A profile
• MRPPS?An interactive refutation proof procedure system for question-answering
• A pragmatic approach to resolution-based theorem proving
• The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
• \(\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)