Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle.
Sedki BoughattasPublished in: J. Symb. Log. (2000)
Keyphrases
- inductive learning
- constructive induction
- oblique decision trees
- program synthesis
- machine learning
- inductive inference
- rule induction
- concept learning
- computer vision
- inductive logic programming
- image segmentation
- database
- explanation based learning
- subgroup discovery
- version space
- concept formation
- search engine
- real world
- proof planning
- neural network