Uncomputability: the problem of induction internalized.

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

Keyphrases

inductive learning
rule induction
program synthesis
discovery process
proof planning
computer vision
inductive reasoning
decision trees
neural network
subgroup discovery
medical images
version space
image sequences
case study
image processing
feature selection
genetic algorithm