Login / Signup
Inferring Termination Conditions for Logic Programs using Backwards Analysis
Samir Genaim
Michael Codish
Published in:
CoRR (2003)
Keyphrases
</>
logic programs
logic programming
answer sets
answer set programming
inductive logic programming
term rewriting systems
computational properties
background knowledge
fixpoint
stable models
partial deduction