Acquiring search-control knowledge via static analysis
- 31 August 1993
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 62 (2) , 255-301
- https://doi.org/10.1016/0004-3702(93)90080-u
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A structural theory of explanation-based learningArtificial Intelligence, 1993
- Quantitative results concerning the utility of explanation-based learningArtificial Intelligence, 1990
- Explanation-based learning:A problem solving perspectiveArtificial Intelligence, 1989
- Planning for conjunctive goalsArtificial Intelligence, 1987
- Explanation-based generalization: A unifying viewMachine Learning, 1986
- Chunking in Soar: The anatomy of a general learning mechanismMachine Learning, 1986
- Program Transformation SystemsACM Computing Surveys, 1983
- An experimental program transformation and synthesis systemArtificial Intelligence, 1981
- A Proof Procedure Using Connection GraphsJournal of the ACM, 1975
- Learning and executing generalized robot plansArtificial Intelligence, 1972