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 xed point semantics for stratied programs, and is applicable to some useful programs that are not stratied. 1.
SVM HeaderParse 0.1
in Proceedings of the 5th International Conference on Logic Programming