Généralisations correctes pour l'induction mathématique.
Pascal UrsoEmmanuel KounalisPublished in: JFPLC (2002)
Keyphrases
- machine learning
- constructive induction
- inductive logic programming
- inductive learning
- concept learning
- tutoring system
- program synthesis
- subgroup discovery
- rule induction
- oblique decision trees
- concept formation
- explanation based learning
- hidden markov models
- support vector
- feature selection
- mathematical problem solving
- information systems