Computing stable models: worst-case performance estimates

Zbigniew Lonc Miroslaw Truszczynski

Published in: CoRR (2002)

Keyphrases

stable models
logic programs
worst case
logic programming
normal logic programs
stable model semantics
fixpoint
general theory
lower bound
deductive databases
answer set programming
average case
upper bound
logic programs with negation
database
np hard
xml documents
data mining
loop formulas
databases