Constructing Induction Rules for Deductive Synthesis Proofs.
Alan BundyLucas DixonJeremy GowJacques D. FleuriotPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- functional programs
- program synthesis
- rule induction
- association rules
- explanation based learning
- object oriented
- logic programs
- rule sets
- inductive learning
- functional language
- cut elimination
- proof planning
- equational theories
- classification rules
- theorem proving
- inductive inference
- association rule mining
- domain experts
- rule extraction
- rule learning
- knowledge acquisition
- rule language