Keyphrases
- program synthesis
- inductive learning
- machine learning
- explanation based learning
- rule induction
- artificial intelligence
- inductive logic programming
- inductive inference
- concept learning
- floating point
- qualitative models
- version space
- grammar induction
- real time
- concept formation
- information retrieval
- neural network
- databases