Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.

Alan Bundy Frank van Harmelen Alan Smaill Andrew Ireland

Published in: CADE (1990)

Keyphrases

inductive learning
theorem prover
theorem proving
knowledge representation
machine learning
concept learning

logic programs
databases
equational theories
formal proof
inductive inference

efficient implementation
information retrieval
database
multiscale
case study

e learning
rule learning
decision procedures
data mining
inductive concept learning