Experiments with Proof Plans for Induction.
Alan BundyFrank van HarmelenJane HeskethAlan SmaillPublished in: J. Autom. Reason. (1991)
Keyphrases
- proof planning
- proof search
- concept formation
- linear logic
- planning problems
- plan generation
- theorem proving
- plan recognition
- genetic algorithm
- inductive learning
- theorem prover
- partially ordered
- oblique decision trees
- program synthesis
- database
- inference rules
- efficiency gains
- planning domains
- automated planning
- plan execution
- explanation based learning
- inductive inference
- neural network
- data sets