Epsilon substitution for transfinite induction.

Published in: Arch. Math. Log. (2005)

Keyphrases

constructive induction
program synthesis
decision making
inductive learning
rule induction
inductive logic programming

databases
sample complexity
domain knowledge
evolutionary algorithm
training set

database systems
inductive inference
artificial intelligence
explanation based learning
real world

version space
neural network
real time
attribute oriented
oblique decision trees