Keyphrases
- explanation based learning
- constrained search
- object recognition
- machine learning
- domain theory
- multi view
- inductive learning
- control knowledge
- constraint logic programming
- search control rules
- learned rules
- dependency directed backtracking
- inference rules
- search control knowledge
- case based reasoning
- blocks world
- learning algorithm
- data mining