Login / Signup
Quasi-terminating logic programs for ensuring the termination of partial evaluation.
Germán Vidal
Published 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