First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees.
Lars BirkedalRasmus Ejlers MøgelbergJan SchwinghammerKristian StøvringPublished in: LICS (2011)
Keyphrases
- domain theory
- explanation based learning
- inductive learning
- domain knowledge
- explanation based generalization
- background knowledge
- lazy learning
- complex domains
- decision trees
- real world
- domain specific knowledge
- information retrieval
- knowledge based neural networks
- natural language
- version spaces
- database
- training examples
- contextual information
- low level
- learning process
- constructive induction