Keyphrases
- program synthesis
- inductive learning
- machine learning
- rule induction
- explanation based learning
- inductive inference
- attribute oriented
- constructive induction
- inductive logic programming
- language processing
- functional programs
- data sets
- computational intelligence
- real time
- artificial neural networks
- video sequences
- version space
- concept formation
- objective function
- case study