Some new double induction and superinduction principles.

Raymond M. Smullyan

Published in: Stud Logica (1990)

Keyphrases

inductive learning
machine learning
rule induction
database
subgroup discovery
concept learning
image processing
program synthesis
similarity measure
constructive induction
discovery process
inductive logic programming
oblique decision trees
multi agent
multiscale
bayesian networks
website
real time