Panos Rondogiannis, William W. Wadge  Home/Search
Context
Related
| di.uoa.gr/~prondo/papers/inf.ps 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: cgi.di.uoa.gr/~pron...conferences (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We give a purely model-theoretic (denotational) characterization of the semantics of logic programs with negation allowed in clause bodies. In our semantics (the rst of its kind) the meaning of a program is, as in the classical case, the unique minimum model in a programindependent ordering. We use an expanded truth domain that has an uncountable linearly ordered set of truth values between False (the minimum element) and True (the maximum), with a Zero element in the middle. The truth... (Update)
Active bibliography (related documents): More All
1.7: An Infinite-Valued Semantics for Logic Programs with Negation - Rondogiannis, Wadge (Correct)
0.8: Minimum Model Semantics for Logic Programs with.. - Rondogiannis, Wadge (Correct)
0.3: Systems Biology - Dynamic Pathway Modelling - Wolkenhauer (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ rondogiannis-infinitevalued,
author = "Panos Rondogiannis and William W. Wadge",
title = "An Infinite-Valued Semantics for Logic Programs with Negation",
url = "citeseer.ist.psu.edu/740588.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
435 Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988
234 The Well-Founded Semantics for General Logic Programs - van Gelder, Ross et al. - 1991
204 the Declarative Semantics of Deductive Databases and Logic P.. (context) - Przymusinski - 1988
180 Logic Programming and Negation: A Survey - Apt, Bol - 1994
58 The Alternating Fixpoint of Logic Programs with Negation (context) - van Gelder - 1989
58 The Alternating Fixpoint of Logic Programs with Negation (context) - van Gelder - 1993
46 Fixpoint Semantics for Logic Programming: A Survey - Fitting
45 Semantic Issues in Deductive Databases and Logic Programs - Przymusinska, Przymusinski - 1990
15 Every Logic Program has a Natural Strati cation and an Itera.. (context) - Przymusinski - 1989
11 Negation and Aggregates in Recursive Rules: the LDL ++ Appro.. (context) - Zaniolo, Arni et al. - 1993
3 The Complexity of Local Strati cation (context) - Cholak, Blair - 1994
3 Where Mathematics comes from (context) - Lako, Nunez - 2000
3 Strati ed Negation in Temporal Logic Programming and the Cyc.. (context) - Rondogiannis - 2001
2 A Strati cation Test for Temporal Logic Programs (context) - Nomikos, Rondogiannis et al. - 2001
Documents on the same site (http://cgi.di.uoa.gr/~prondo/conferences.html):
Extensional Higher-Order Datalog - Kountouriotis, Rondogiannis, Wadge (Correct)
Multidimensional XML (Extended Abstract) - Stavrakas, Gergatsoulis.. (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