Refutation graphs
- 31 May 1976
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 7 (1), 51-64
- https://doi.org/10.1016/0004-3702(76)90021-7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An Implementation of the Model Elimination Proof ProcedureJournal of the ACM, 1974
- A Unifying View of Some Linear Herbrand ProceduresJournal of the ACM, 1972
- Linear resolution with selection functionArtificial Intelligence, 1972
- Resolution graphsArtificial Intelligence, 1970
- A Simplified Format for the Model Elimination Theorem-Proving ProcedureJournal of the ACM, 1969
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965