Domain theory and differential calculus (functions of one variable).
Abbas EdalatAndré LieutierPublished in: Math. Struct. Comput. Sci. (2004)
Keyphrases
- domain theory
- explanation based learning
- inductive learning
- domain knowledge
- explanation based generalization
- background knowledge
- domain specific knowledge
- complex domains
- database
- training examples
- lazy learning
- version spaces
- constructive induction
- knowledge based neural networks
- information extraction
- expert systems
- artificial intelligence