Induction Principles Formalized in the Calculus of Constructions.

Gérard P. Huet

Published in: TAPSOFT, Vol.1 (1987)

Keyphrases

inductive learning
automated deduction
databases
proof search
machine learning
inductive logic programming
inference rules
program synthesis
oblique decision trees