Keyphrases
- inductive learning
- rule induction
- machine learning
- constructive induction
- video sequences
- proof planning
- program synthesis
- inductive logic programming
- image processing
- data sets
- subgroup discovery
- attribute oriented
- sequence prediction
- concept formation
- version space
- discovery process
- case study
- expert systems
- lower bound
- search algorithm
- multi agent