Login / Signup
Inferring termination conditions for logic programs using backwards analysis.
Samir Genaim
Michael Codish
Published in:
APPIA-GULP-PRODE (2001)
Keyphrases
</>
logic programs
logic programming
sufficient conditions
stable models
background knowledge
fixpoint
term rewriting systems
inductive logic programming
answer sets
nonmonotonic reasoning
computational properties
artificial intelligence
query language
software engineering
partial deduction