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