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.

PDF

In Proceedings of International Logic Programming Conference and Symposium, Kowalski, Robert and Bowen, Kenneth (Eds.), pp. 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} }