On the Relationship between Well-Founded and Stable Partial Models.
Els Laenens, Dirk Vermeir:
On the Relationship between Well-Founded and Stable Partial Models.
MFDBS 1991: 59-73@inproceedings{DBLP:conf/mfdbs/LaenensV91,
author = {Els Laenens and
Dirk Vermeir},
editor = {Bernhard Thalheim and
J{\'a}nos Demetrovics and
Hans-Detlef Gerhardt},
title = {On the Relationship between Well-Founded and Stable Partial Models},
booktitle = {MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database
and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991,
Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {495},
year = {1991},
isbn = {3-540-54009-1},
pages = {59-73},
ee = {db/conf/mfdbs/LaenensV91.html},
crossref = {DBLP:conf/mfdbs/91},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [Ben00a]
- Melvin Fitting, Marion Ben-Jacob:
Stratified and Three-valued Logic Programming Semantics.
ICLP/SLP 1988: 1054-1069 BibTeX
- [Gel88a]
- Allen Van Gelder, Kenneth A. Ross, John S. Schlipf:
Unfounded Sets and Well-Founded Semantics for General Logic Programs.
PODS 1988: 221-230 BibTeX
- [Gel88b]
- Michael Gelfond, Vladimir Lifschitz:
The Stable Model Semantics for Logic Programming.
ICLP/SLP 1988: 1070-1080 BibTeX
- [Lae89a]
- ...
- [Lae90a]
- Els Laenens, Dirk Vermeir:
A Fixpoint Semantics for Ordered Logic.
J. Log. Comput. 1(2): 159-185(1990) BibTeX
- [Lae90b]
- Els Laenens, Domenico Saccà, Dirk Vermeir:
Extending Logic Programming.
SIGMOD Conference 1990: 184-193 BibTeX
- [Lae90c]
- Els Laenens, Dirk Vermeir:
Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.
J. Log. Comput. 2(2): 133-172(1992) BibTeX
- [Lae90d]
- ...
- [Llo87a]
- John W. Lloyd:
Foundations of Logic Programming, 2nd Edition.
Springer 1987, ISBN 3-540-18199-7
BibTeX
- [Nut88a]
- ...
- [Prz89a]
- Teodor C. Przymusinski:
Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming.
KR 1989: 341-348 BibTeX
- [Prz88a]
- Teodor C. Przymusinski:
Perfect Model Semantics.
ICLP/SLP 1988: 1081-1096 BibTeX
- [Prz89b]
- Teodor C. Przymusinski:
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model.
PODS 1989: 11-21 BibTeX
- [Rei78a]
- Raymond Reiter:
On Closed World Data Bases.
Logic and Data Bases 1977: 55-76 BibTeX
- [Sac90a]
- Domenico Saccà, Carlo Zaniolo:
Stable Models and Non-Determinism in Logic Programs with Negation.
PODS 1990: 205-217 BibTeX
- [Ver89a]
- ...
- [Ver90a]
- ...
- [You90a]
- Jia-Huai You, Li-Yan Yuan:
Three-Valued Formalization of Logic Programming: Is It Needed?
PODS 1990: 172-182 BibTeX
Referenced by
- Domenico Saccà, Brigitte Verdonk, Dirk Vermeir:
Evolution of Knowledge Bases.
EDBT 1992: 230-244
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:29:39 2009