Implementation Strategies for Plan-Based Deduction
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Matings in matricesCommunications of the ACM, 1983
- Exponential improvement of efficient backtrackingPublished by Springer Nature ,1982
- Selective backtracking for logic programsPublished by Springer Nature ,1980
- Using rewriting rules for connection graphs to prove theoremsArtificial Intelligence, 1979
- A Search Technique for Clause Interconnectivity GraphsIEEE Transactions on Computers, 1976
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975