Login / Signup
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.
Alexander Serebrenik
Danny De Schreye
Published in:
LOPSTR (LNCS 2042: Selected Papers) (2000)
Keyphrases
</>
logic programs
logic programming
termination analysis
answer sets
fixpoint
computational properties
stable models
normal logic programs
stable model semantics
partial deduction
answer set programming
active rules
recursive programs
prolog programs
data exchange
orders of magnitude
high level
database