Keyphrases
- domain theory
- explanation based learning
- explanation based generalization
- inductive learning
- domain knowledge
- domain specific knowledge
- background knowledge
- complex domains
- knowledge based neural networks
- training examples
- constructive induction
- theorem proving
- version space
- previously learned
- lazy learning
- machine learning
- theorem prover
- case base
- knowledge acquisition
- text classification
- knn
- learning algorithm