Keyphrases
- rule induction
- oblique decision trees
- inductive reasoning
- program synthesis
- inductive learning
- explanation based learning
- constructive induction
- subgroup discovery
- database
- inductive logic programming
- machine learning
- databases
- concept learning
- special case
- multiscale
- metadata
- induction algorithms
- concept formation
- neural network
- proof planning
- functional programs
- real time