UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
The Stable Model Semantics for Logic Programming (1988)
Michael Gelfond and
Vladimir Lifschitz
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.
View:
PDF
Citation:
In
Proceedings of International Logic Programming Conference and Symposium
, Kowalski, Robert and Bowen, Kenneth (Eds.), pp. 1070-1080 1988. MIT Press.
Bibtex:
@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} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Nonmonotonic Reasoning