Linear resolution with selection function
- 29 February 1972
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 2 (3-4), 227-260
- https://doi.org/10.1016/0004-3702(71)90012-9
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Resolution graphsArtificial Intelligence, 1970
- A Linear Format for Resolution With Merging and a New Technique for Establishing CompletenessJournal of the ACM, 1970
- A Simplified Format for the Model Elimination Theorem-Proving ProcedureJournal of the ACM, 1969
- A Formal Basis for the Heuristic Determination of Minimum Cost PathsIEEE Transactions on Systems Science and Cybernetics, 1968
- Resolution With MergingJournal of the ACM, 1968
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965