Login / Signup
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs.
Abhik Roychoudhury
K. Narayan Kumar
C. R. Ramakrishnan
I. V. Ramakrishnan
Published in:
PPDP (1999)
Keyphrases
</>
logic programs
logic programming
abductive logic programming
answer sets
answer set programming
abductive reasoning
inductive logic programming
extended logic programs
background knowledge
fixpoint
stable models
term rewriting systems
answer set semantics
prolog programs
partial deduction
logic program updates