Login / Signup
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs
Manh Thang Nguyen
Danny De Schreye
Jürgen Giesl
Peter Schneider-Kamp
Published in:
CoRR (2009)
Keyphrases
</>
logic programs
termination analysis
logic programming
answer sets
active rules
active databases
answer set programming
stable models
fixpoint
partial deduction
normal logic programs
deductive databases
stable model semantics
polynomial hierarchy
strong equivalence
data structure
knowledge base