Learning and applying generalised solutions using higher order resolution
- 23 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Explanation-Based Generalization as Resolution Theorem ProvingPublished by Elsevier ,1987
- Natural deduction as higher-order resolutionThe Journal of Logic Programming, 1986
- Higher-order logic programmingPublished by Springer Nature ,1986
- LEARNING BY EXPERIMENTATION: ACQUIRING AND REFINING PROBLEM-SOLVING HEURISTICSPublished by Elsevier ,1983
- Learning and executing generalized robot plansArtificial Intelligence, 1972