Yann Loyer, Umberto Straccia  Home/Search
Context
Related
| faure.isti.cnr.it/~stracci...MFCS04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: faure.isti.cnr.it/~stracc...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define new, both model-theoretical and fixpoint-based, characterizations of the well-founded semantics for logic programs in the general setting of bilattices. This work lights the role of the CWA, used in the well-founded semantics as a carrier of falsehood, and shows that the definition of that semantics does not require any separation of positive and negative information nor any program transformation. (Update)
Active bibliography (related documents): More All
1.4: Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
1.0: Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (Correct)
0.6: Default Knowledge in Logic Programs with Uncertainty - Yann Loyer And (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ loyer-epistemic,
author = "Yann Loyer and Umberto Straccia",
title = "Epistemic Foundation of the Well-Founded Semantics over Bilattices",
url = "citeseer.ist.psu.edu/737926.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
759 Negation as failure (context) - Clark - 1978
295 On closed world data bases (context) - Reiter - 1978
234 The well-founded semantics for general logic programs - van Gelder, Ross et al.
186 Negation in logic programming (context) - Kunen - 1987
183 A useful four-valued logic (context) - Belnap - 1977
162 The semantics of predicate logic as a programming language (context) - Van Emden, Kowalski - 1976
125 The well-founded semantics coincides with the threevalued st.. - Przymusinski - 1990
106 Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
98 Extended stable semantics for normal and disjunctive program.. (context) - Przymusinski - 1990
46 Fixpoint semantics for logic programming - a survey - Fitting - 2002
42 A Kripke-Kleene-semantics for general logic programs (context) - Fitting - 1985
38 The family of stable models - Fitting - 1993
22 The value of the four values - Arieli, Avron - 1998
13 A survey of paraconsistent semantics for logic programs - Damasio, Pereira - 1998
9 Multi-valued logics: a uniform approach to reasoning in arti.. (context) - Ginsberg - 1988
8 Fixpoint characterizations for many-valued disjunctive logic.. - Lukasiewicz - 2001
6 Stable model semantics for probabilistic deductive databases (context) - Ng, Subrahmanian - 1991
6 The approximate well-founded semantics for logic programs wi.. - Loyer, Straccia - 2003
5 Paraconsistent declarative semantics for extended logic prog.. - Arieli - 2002
4 Default knowledge in logic programs with uncertainty - Loyer, Straccia - 2003
4 Uncertainty and partial non-uniform assumptions in parametri.. - Loyer, Straccia - 2002
Documents on the same site (http://faure.isti.cnr.it/~straccia/papers/index.html): More
Fuzzy Description Logics and the Semantic Web - Straccia (2005) (Correct)
A Framework for the Retrieval of Multimedia Objects Based on.. - Straccia (1999) (Correct)
A Relevance Terminological Logic for Information Retrieval - Meghini, Straccia (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC