Domain Theory in Constructive and Predicative Univalent Foundations.
Tom de JongMartín Hötzel EscardóPublished in: CSL (2021)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- explanation based generalization
- domain specific knowledge
- complex domains
- background knowledge
- lazy learning
- artificial intelligence
- constructive induction
- training examples
- knowledge based neural networks
- version space
- machine learning
- version spaces
- case base
- small number
- low level
- feature vectors
- inductive bias