1;3409;0c The Stable Model Semantics for Logic Programming

The Stable Model Semantics for Logic Programming

ICLP/SLP 1988: Seattle, 1988
Pages: 1070-1080

ICLP

bibtex

We propose a new declarative semantics for logic programs with negation. Its formulation is quite simple; at the same time, it is more general than the iterated fixed point semantics for stratied programs, and is applicable to some useful programs that are not stratified.