Dialectica interpretation of well-founded induction.

Helmut Schwichtenberg

Published in: Math. Log. Q. (2008)

Keyphrases

image interpretation
rule induction
concept learning
constructive induction
machine learning
image analysis
inductive learning
grammar induction
database
genetic algorithm
data structure
user interface
explanation based learning
discovery process
multiple interpretations