Keyphrases
- explanation based learning
- inductive learning
- machine learning
- domain theory
- search control rules
- background knowledge
- search control knowledge
- control knowledge
- logic programming
- belief revision
- blocks world
- learned rules
- knowledge acquisition
- inference rules
- neural network
- dependency directed backtracking
- plan recognition
- macro operators
- learned knowledge
- natural language processing
- wordnet