Towards a homotopy domain theory.
Daniel O. Martínez-RivillasRuy J. G. B. de QueirozPublished in: Arch. Math. Log. (2023)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- explanation based generalization
- background knowledge
- domain specific knowledge
- complex domains
- lazy learning
- training examples
- knowledge based neural networks
- constructive induction
- version spaces
- machine learning
- databases
- case base
- knowledge base
- previously learned
- inductive bias
- database