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 stratified programs, and is applicable to some useful programs that are not stratified.

PS

In Kowalski, Robert and Bowen, Kenneth, editors, Proceedings of International Logic Programming Conference and Symposium, 1070-1080, 1988. MIT Press.

@InProceedings{gel88, title={The Stable Model Semantics for Logic Programming}, author={Michael Gelfond and Vladimir Lifschitz}, booktitle={Proceedings of International Logic Programming Conference and Symposium}, editor={Kowalski, Robert and Bowen and Kenneth}, publisher={MIT Press}, pages={1070-1080}, url="http://www.cs.utexas.edu/users/ai-lab/?gel88", year={1988} }