-representation: A clause representation for parallel search

DOI10.1016/0004-3702(75)90005-3MaRDI QIDQ1216192zbMATH OpenOpenAlexFDO

Authors Daniel H. Fishman, Jack Minker

Publication date 1975

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(75)90005-3

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Pattern recognition, speech recognition (68T10)

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• Computer proofs of limit theorems
• Extracting information from resolution proof trees
• scientific article; zbMATH DE number 3347627 (Why is no real title available?)
• scientific article; zbMATH DE number 3380160 (Why is no real title available?)
• MRPPS?An interactive refutation proof procedure system for question-answering
• REF-ARF: A system for solving problems stated as procedures
• The Q^* algorithm - a search strategy for a deductive question-answering system
• The Specialization of Programs by Theorem Proving

Cited in

(2)

• Jack Minker --- A profile
• A note on answer extraction in resolution-based systems

This page was built for publication: \(\Pi\)-representation: A clause representation for parallel search

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