Keyphrases
- rule induction
- inductive learning
- integer programming
- machine learning
- constructive induction
- program synthesis
- inductive logic programming
- inductive reasoning
- concept learning
- genetic algorithm
- computational complexity
- real world
- multiscale
- database systems
- case study
- multimedia
- discovery process
- image processing
- artificial intelligence
- proof planning