Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- background knowledge
- domain specific knowledge
- complex domains
- finite state
- lazy learning
- training examples
- version space
- knowledge based neural networks
- version spaces
- case base
- formal methods
- theorem prover
- low level
- prior knowledge
- training set
- machine learning