DMCA
The Stable Model Semantics For Logic Programming (1988)
by
Michael Gelfond
,
Vladimir Lifschitz
| Citations: | 1845 - 63 self |
BibTeX
@INPROCEEDINGS{Gelfond88thestable,
author = {Michael Gelfond and Vladimir Lifschitz},
title = {The Stable Model Semantics For Logic Programming},
booktitle = {},
year = {1988},
pages = {1070--1080},
publisher = {MIT Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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.
