First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Lars BirkedalRasmus Ejlers MøgelbergJan SchwinghammerKristian StøvringPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- domain theory
- explanation based learning
- inductive learning
- domain knowledge
- explanation based generalization
- domain specific knowledge
- background knowledge
- information retrieval
- database
- complex domains
- knowledge based neural networks
- decision trees
- training examples
- data sets
- relational databases
- constructive induction
- lazy learning
- real world
- semi supervised