Explanation-based Generalization in a Logic-Programming Environment.
Haym HirshPublished in: IJCAI (1987)
Keyphrases
- programming environment
- explanation based generalization
- logic programming
- modal logic
- programming language
- partial evaluation
- domain theory
- programming environments
- higher order
- temporal logic
- relational database systems
- logic programs
- lego mindstorms
- high level
- general purpose
- object oriented
- visual basic
- novice programmers
- case based reasoning
- prior knowledge
- relational databases
- training data