Observationally-induced algebras in Domain Theory.
Ingo BattenfeldKlaus KeimelThomas StreicherPublished in: Log. Methods Comput. Sci. (2014)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- explanation based generalization
- inductive learning
- complex domains
- background knowledge
- knowledge based neural networks
- training examples
- domain specific knowledge
- lazy learning
- version spaces
- constructive induction
- case base
- version space
- database
- previously learned
- temporal reasoning
- small number
- knowledge representation
- logic programs
- case based reasoning