Sound generalizations in mathematical induction.

Pascal Urso Emmanuel Kounalis

Published in: Theor. Comput. Sci. (2004)

Keyphrases

program synthesis
inductive learning
machine learning
mathematical expressions
computer vision
real time
inductive logic programming
constructive induction
mathematical modeling
concept learning
oblique decision trees
inductive reasoning
mathematical theory
rule induction
rough sets
genetic algorithm
data sets