Stable Models Are Generated by a Stabel Chain.

Heinrich Herre Gerd Wagner

Published in: J. Log. Program. (1997)

Keyphrases

stable models
logic programs
logic programming
answer set programming
normal logic programs
fixpoint
deductive databases
stable model semantics
general theory
loop formulas
background knowledge
hidden markov models
constraint satisfaction
query answering