An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs.
Emanuel KitzelmannUte SchmidPublished in: AAIP (2005)
Keyphrases
- functional programs
- explanation based generalization
- partial evaluation
- logic programs
- logic programming
- term rewriting systems
- domain theory
- lazy evaluation
- functional language
- modal logic
- functional programming
- inductive learning
- higher order
- temporal logic
- data sets
- database
- execution model
- inductive logic programming
- general purpose
- case based reasoning
- artificial intelligence