Keyphrases
- explanation based learning
- machine learning
- domain theory
- inductive learning
- control knowledge
- search control rules
- learned rules
- inference rules
- dependency directed backtracking
- search algorithm
- blocks world
- search control knowledge
- high level
- domain knowledge
- first order logic
- neural network
- feature selection
- learned knowledge
- macro operators