Indexed induction-recursion.
Peter DybjerAnton SetzerPublished in: J. Log. Algebraic Methods Program. (2006)
Keyphrases
- deductive databases
- inductive learning
- machine learning
- complex objects
- program synthesis
- inverted file
- explanation based learning
- databases
- concept formation
- knowledge base
- rule induction
- database
- knowledge representation
- discovery process
- inductive logic programming
- relational databases
- multi agent
- similarity measure
- e learning
- computer vision
- data mining
- data sets