Login / Signup
Inferring Termination Conditions for Logic Programs using Backwards Analysis.
Samir Genaim
Michael Codish
Published in:
Theory Pract. Log. Program. (2005)
Keyphrases
</>
logic programs
logic programming
answer set programming
answer sets
inductive logic programming
logic program updates
sufficient conditions
background knowledge
fixpoint
stable models
term rewriting systems