Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs.
Alan BundyFrank van HarmelenAlan SmaillAndrew IrelandPublished 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