Indexed Induction-Recursion.
Peter DybjerAnton SetzerPublished in: Proof Theory in Computer Science (2001)
Keyphrases
- complex objects
- program synthesis
- inductive learning
- oblique decision trees
- explanation based learning
- rough sets
- concept formation
- subgroup discovery
- rule induction
- concept learning
- artificial neural networks
- three dimensional
- machine learning
- computer vision
- inductive inference
- real time
- functional programs
- databases
- constructive induction
- real world
- version space
- information retrieval
- search engine
- multi agent systems
- deductive databases
- case study
- inductive logic programming
- database
- knowledge representation
- multiscale
- digital libraries