Keyphrases
- domain theory
- explanation based learning
- inductive learning
- domain knowledge
- formal methods
- theorem prover
- natural deduction
- domain specific knowledge
- background knowledge
- lazy learning
- complex domains
- knowledge based neural networks
- training examples
- case base
- reinforcement learning
- data mining
- pairwise
- feature space