Unification Based Induction.

Published in: TPHOLs (1992)

Keyphrases

higher order
inductive learning
subgroup discovery
theorem proving
theorem prover
functional programs
constructive induction
inductive logic programming
reinforcement learning
decision trees
database
rule induction
induction algorithms
concept formation
artificial intelligence
program synthesis
databases