Login / Signup
A Backward Analysis for Constraint Logic Programs
Andy King
Lunjin Lu
Published in:
CoRR (2002)
Keyphrases
</>
logic programs
logic programming
background knowledge
answer sets
inductive logic programming
answer set programming
stable models
partial deduction
fixpoint
computational properties
normal logic programs