Generic Induction Proofs.

Published in: CTRS (1992)

Keyphrases

theorem proving
proof search
machine learning
inductive logic programming
learning algorithm
high level
inductive learning
decision procedures
concept formation
database systems
domain specific
inference rules
application specific
explanation based learning
formal proof
equational theories