Automated Termination Analysis for Logic Programs with Cut

Peter Schneider-Kamp Jürgen Giesl Thomas Ströder Alexander Serebrenik René Thiemann

Published in: CoRR (2010)

Keyphrases

logic programs
termination analysis
logic programming
active rules
active databases
answer sets
answer set programming
fixpoint
stable models
prolog programs
strong equivalence
partial deduction
stable model semantics
computational properties
normal logic programs
loop formulas
relational databases