Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.
Michael LeuschelStephen-John CraigDaniel ElphickPublished in: LOPSTR (2006)
Keyphrases
- logic programs
- partial evaluation
- logic programming
- explanation based generalization
- answer sets
- fixpoint
- answer set programming
- stable models
- background knowledge
- partial deduction
- inductive logic programming
- prolog programs
- normal logic programs
- machine learning
- term rewriting systems
- functional programs
- strong equivalence
- domain theory
- computational properties
- data warehouse
- monotonicity constraints
- minimal models
- temporal logic
- domain knowledge
- active learning
- database systems
- high level