Quasi-terminating logic programs for ensuring the termination of partial evaluation.
Germán VidalPublished in: PEPM (2007)
Keyphrases
- logic programs
- partial evaluation
- explanation based generalization
- logic programming
- answer sets
- answer set programming
- stable models
- background knowledge
- fixpoint
- prolog programs
- normal logic programs
- computational properties
- partial deduction
- inductive logic programming
- logic program updates
- xpath queries
- domain theory
- deductive databases
- stable model semantics
- minimal models
- database
- monotonicity constraints
- software engineering
- term rewriting systems