Domain Theory in Constructive and Predicative Univalent Foundations.
Tom de JongPublished in: CoRR (2023)
Keyphrases
- domain theory
- explanation based learning
- inductive learning
- domain knowledge
- explanation based generalization
- domain specific knowledge
- background knowledge
- lazy learning
- complex domains
- training examples
- constructive induction
- knowledge based neural networks
- previously learned
- artificial intelligence
- version space
- expert systems
- version spaces
- case base
- text classification
- logic programs
- programming language
- case based reasoning
- training set
- feature extraction
- inductive bias
- machine learning