Reverse Mathematics and Computability Theory of Domain Theory.
Sam SandersPublished in: WoLLIC (2019)
Keyphrases
- domain theory
- explanation based learning
- inductive learning
- domain knowledge
- complex domains
- background knowledge
- domain specific knowledge
- lazy learning
- training examples
- knowledge based neural networks
- case base
- constructive induction
- relational databases
- driven learning
- computer science
- version space
- learning algorithm
- decision trees
- computer algebra
- data sets