\(\Pi\)-representation: A clause representation for parallel search

DOI10.1016/0004-3702(75)90005-3zbMath0303.68063OpenAlexW2021453179MaRDI QIDQ1216192

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

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

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
• REF-ARF: A system for solving problems stated as procedures
• Extracting information from resolution proof trees
• Computer proofs of limit theorems
• MRPPS?An interactive refutation proof procedure system for question-answering
• A Machine-Oriented Logic Based on the Resolution Principle
• The Specialization of Programs by Theorem Proving

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