Keyphrases
- program synthesis
- constructive induction
- inductive logic programming
- inductive learning
- inductive inference
- quantifier elimination
- decision trees
- subgroup discovery
- rule induction
- oblique decision trees
- databases
- functional programs
- search algorithm
- e learning
- social networks
- information retrieval
- real world
- neural network