Induction Rules, Reflection Principles, and Provably Recursive Functions.

Lev D. Beklemishev

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

recursive functions
inductive inference
rule induction
association rules
rule sets
decision trees
association rule mining
hypothesis spaces
production rules
inductive learning
classification rules
concept learning
design principles
explanation based learning
vc dimension
induction algorithms
model selection