Theorem proving with abstraction
- 31 March 1981
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 16 (1), 47-108
- https://doi.org/10.1016/0004-3702(81)90015-1
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Non-resolution theorem provingArtificial Intelligence, 1977
- Unit Refutations and Horn SetsJournal of the ACM, 1974
- Planning in a hierarchy of abstraction spacesArtificial Intelligence, 1974
- A paradigm for reasoning by analogyArtificial Intelligence, 1971
- Automatic Theorem Proving With Renamable and Semantic ResolutionJournal of the ACM, 1967
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965