The strength of sharply bounded induction.

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

Keyphrases

program synthesis
data sets
inductive logic programming
rule induction
machine learning
data structure
inductive learning
concept formation
objective function
inductive inference