A note on answer extraction in resolution-based systems

DOI10.1007/BF01002330MaRDI QIDQ4185847zbMATH OpenFDO

Authors Jack Minker, Gerald A. Wilson

Publication date 1977

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01002330

zbMATH Keywords

AlgorithmAnswer ExtractionProof GraphQuestionsTheorem Proving

Mathematics Subject Classification ID

Cites work

• \(\Pi\)-representation: A clause representation for parallel search
• Compatibility and Complexity of Refinements of the Resolution Principle
• Extracting information from resolution proof trees
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• Linear resolution with selection function

This page was built for publication: A note on answer extraction in resolution-based systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4185847)