Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions.
Bernhard ReusPublished in: TPHOLs (1996)
Keyphrases
- domain theory
- explanation based learning
- domain knowledge
- inductive learning
- complex domains
- knowledge based neural networks
- domain specific knowledge
- lazy learning
- training examples
- version space
- formal theory
- background knowledge
- multi valued
- real world
- version spaces
- search engine
- modal logic
- probability theory
- learning algorithm
- data mining
- unsupervised learning
- previously learned
- inductive logic programming
- case base