Rippling: A Heuristic for Guiding Inductive Proofs.
Alan BundyAndrew StevensFrank van HarmelenAndrew IrelandAlan SmaillPublished in: Artif. Intell. (1993)
Keyphrases
- dynamic programming
- inductive learning
- inductive logic programming
- logic programs
- search algorithm
- heuristic solution
- tabu search
- simulated annealing
- theorem proving
- exact algorithms
- constraint satisfaction
- combinatorial optimization
- np hard
- concept learning
- machine learning
- inductive reasoning
- heuristic methods
- rule learning
- formal proofs