Georg Gottlob, Sherry Marcus, Anil Nerode, V.S. Subrahmanian  Home/Search
Context Related
| uky.edu/cs/lpnmr/gmns1.ps.gz 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: uky.edu/~lpnmr/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The declarative semantics of nonmonotonic logic programming has largely been based on propositional programs. However, the ground instantiation of a logic program may be very large, and likewise, a "ground" stable model may also be very large. We develop a non-ground semantic theory for nonmonotonic logic programming. The principal advantage of this is that stable models and well-founded models can be represented as sets of atoms, rather than as sets of ground atoms. A set S of atoms may... (Update)
Context of citations to this paper: More
...such cases, it is better to admit tuples that contain variables which obey relevant constraints. Using this intuition, Gottlob et al. [14] and Eiter et al. 12] have defined a version of the well founded semantics of deductive databases that accommodates constraints. We...
...to its Herbrand universe. Stable models, well founded models, and quasi stable extensions are represented as sets of ground atoms. In [53] the stable and well founded semantics of logic programs, and the answer set semantics of extended logic programs are generalised based...
Cited by: More
Negation in Logic and Deductive Databases - Wang (1999) (Correct)
Well-Founded Views in Constraint Databases.. - Lu, Ludäscher.. (1996) (Correct)
Active bibliography (related documents): More All
0.2: Mixed Integer Programming Methods for Computing Nonmonotonic.. - Bell (1994) (Correct)
0.1: Computing Definite Logic Programs by Partial Instantiation - Kagan, Nerode, Subrahmanian (1994) (Correct)
0.1: Implementation of an Executable Graphical Representation of GAPs .. - Jekutsch (Correct)
Similar documents based on text: More All
0.4: A First-Order Representation of Stable Models - Eiter, Lu, Subrahmanian (1998) (Correct)
0.3: Computing Non-ground Representations of Stable Models - Eiter, Lu, Subrahmanian (1997) (Correct)
0.2: Bibliography - Ab Apt Bol (1996) (Correct)
Related documents from co-citation: More All
2: Towards a Theory of Declarative Knowledge (context) - Apt, Blair et al. - 1988
2: The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross et al. - 1991
2: The stable model semantics for logic programs (context) - Gelfond, Lifschitz - 1988
BibTeX entry: (Update)
G. Gottlob, S. Marcus, A. Nerode and V.S. Subrahmanian. (1994) Non-Ground Stable and WellFounded Semantics, to appear in Theoretical Computer Science. http://citeseer.ist.psu.edu/gottlob94nonground.html More
@misc{ gottlob94nonground,
author = "G. Gottlob and S. Marcus and A. Nerode and V. Subrahmanian",
title = "Non-Ground Stable and WellFounded Semantics",
text = "G. Gottlob, S. Marcus, A. Nerode and V.S. Subrahmanian. (1994) Non-Ground
Stable and WellFounded Semantics, to appear in Theoretical Computer Science.",
year = "1994",
url = "citeseer.ist.psu.edu/gottlob94nonground.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
1838 Foundations of Logic Programming (context) - Lloyd - 1987
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
270 Logic Programs with Classical Negation (context) - Gelfond, Lifschitz - 1990
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990
106 Paraconsistent Logic Programming (context) - Blair, Subrahmanian - 1987
87 An Efficient Unification Algorithm (context) - Martelli, Montanari - 1982
58 The Alternating Fixpoint of Logic Programs with Negation (context) - van Gelder - 1989
47 Dualities between Alternative Semantics for Logic Programmin.. - Baral, Subrahmanian - 1991
38 Unfounded Sets and Well-founded Semantics for General Logic .. (context) - Van Gelder, Ross et al. - 1988
32 A New Declarative Semantics for Logic Languages (context) - Falaschi, Levi et al. - 1988
14 A Theory of Nonmonotonic Rule Systems - Marek, Nerode et al. - 1990
13 Principles of Database and Knowledge-Based Systems (context) - Ullman - 1988
12 Models to Logic Programs with Negation (context) - Turi - 1991
8 A Truth Maintenance System Based on Stable Models (context) - Cuadrado, Pimentel - 1989
7 Towards a Theory of Hybrid Knowledge Bases (context) - Lu, Nerode et al. - 1993
Documents on the same site (http://www.cs.engr.uky.edu/~lpnmr/papers.html): More
Logic Programs as Definitions: a framework for and an.. - Denecker, De Schreye (Correct)
How to Progress a Database (and Why) I. Logical Foundations - Fangzhen Lin (1994) (Correct)
Domain Theory Meets Default Logic - Rounds, Zhang (1995) (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