Allen Van Gelder, Kenneth A. Ross, John S. Schlipf  Home/Search
Context Related
Links: ACM DBLP | columbia.edu/~kar/pubsk/wfjacm.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: columbia.edu/~kar/pubsk/pubsk (more) Homepages: A.van Gelder |
Rate this article:      (best)Comment on this article |
Abstract: A general logic program (abbreviated to "program" hereafter) is a set of rules that have both positive and negative subgoals. It is common to view a deductive database as a general logic program consisting of rules (IDB) sitting above elementary relations (EDB, facts). It is desirable to associate one Herbrand model with a program and think of that model as the "meaning of the program," or its "declarative semantics." Ideally, queries directed to the program would be answered in accordance with ... (Update)
Cited by: More
Negation and Negative Information in the W3C - Resource Description Framework (2004) (Correct)
Using Datalog with Binary Decision Diagrams for Program.. - Whaley, Avots, Carbin, Lam (Correct)
Emergence Of Cooperation Through - Mutual Preference Revision (2006) (Correct)
Active bibliography (related documents): More All
0.3: A Procedural Semantics for Well Founded Negation in Logic Programs - Ross (1989) (Correct)
0.2: On the Declarative and Procedural Semantics of Logic Programs - Przymusinski (1995) (Correct)
0.2: Negation in Logic and Deductive Databases - Wang (1999) (Correct)
Similar documents based on text: More All
0.2: A Dynamic Approach to Characterizing Termination of.. - Shen, You, Yuan, Shen, .. (Correct)
0.1: Computing the Well-Founded Semantics Faster - Berman, Schlipf, Franco (1995) (Correct)
0.1: Some Remarks on Computability and Open Domain Semantics - Schlipf (1993) (Correct)
Related documents from co-citation: More All
58: The Stable Model Semantics for Logic Programming - Gelfond - 1988
30: Foundations of Logic Programming (context) - Lloyd - 1987
30: The alternating fix-point of logic programs with negation (context) - Van Gelder - 1989
BibTeX entry: (Update)
Van Gelder, A., K.A. Ross, and J.S. Schlipf. 1991. The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38(3):620--650. http://citeseer.ist.psu.edu/gelder91wellfounded.html More
@article{ vangelder91wellfounded,
author = "Allen {van Gelder} and Kenneth Ross and John S. Schlipf",
title = "The Well-Founded Semantics for General Logic Programs",
journal = "Journal of the ACM",
volume = "38",
number = "3",
pages = "620--650",
year = "1991",
url = "citeseer.ist.psu.edu/gelder91wellfounded.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988 DBLP
759 Negation as failure (context) - Clark - 1978 ACM DBLP
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988 ACM DBLP
379 The complexity of relational query languages (context) - Vardi - 1982
311 Semantical considerations on non-monotonic logic (context) - Moore - 1985
295 On closed world databases (context) - Reiter - 1978
248 The semantics of predicate logic as a programming language (context) - Van Emden, Kowalski - 1976 ACM DBLP
245 Relational queries computable in polynomial time - Immerman - 1986 ACM DBLP
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
198 Structure and complexity of relational queries - Chandra, Harel - 1982
186 Negation in logic programming (context) - Kunen - 1987 ACM DBLP
185 On indefinite databases and the closed world assumption (context) - Minker - 1982 ACM DBLP
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985 DBLP
151 Autoepistemic logic (context) - Marek, Truszczynski - 1988 ACM DBLP
144 Contributions to the theory of logic programming (context) - Apt, Van Emden - 1982
120 Elementary Induction on Abstract Structures (context) - Moschovakis - 1974
118 Unfounded sets and well-founded semantics for general logic .. (context) - Van Gelder, Ross et al. - 1988 ACM DBLP
105 Making Prolog more expressive (context) - Lloyd, Topor - 1984
95 Fixed-point extensions of first order logic (context) - Gurevich, Shelah - 1986
90 Horn clause queries and generalizations (context) - Chandra, Harel - 1985
88 Every logic program has a natural stratification and an iter.. - Przymusinski - 1989
79 On stratified autoepistemic theories (context) - Gelfond - 1987 DBLP
68 Negation in logic programming (context) - Shepherdson - 1988 ACM DBLP
66 and the frame problem (context) - Hanks, McDermott et al. - 1986
61 Equivalences of logic programs (context) - Maher - 1988
55 A procedural semantics for well-founded negation in logic pr.. - Ross - 1989 ACM
54 Inferring negative information from disjunctive databases (context) - Ross, Topor - 1988 ACM DBLP
52 the declarative semantics of logic programs with negation (context) - Lifschitz - 1988
38 Design overview of the Nail (context) - Morris, Ullman et al. - 1986
38 Weakly perfect model semantics for logic programs (context) - Przymusinska, Przymusinski - 1988 DBLP
26 Elements of Intuitionism (context) - Dummett - 1977
22 Completeness of the negation-as-failure rule (context) - Jaffar, Lassez et al. - 1983
14 A natural semantics for logic programs with negation (context) - Dung, Kanchanasut - 1989 ACM DBLP
11 Stable theories in autoepistemic logic (context) - Marek - 1986
9 Negation as failure (context) - Shepherdson - 1985 ACM DBLP
6 The expressive power of stratified programs (context) - Kolaitis - 1991 DBLP
1 Modeling simultaneous events with default reasoning and tigh.. (context) - Van Gelder - 1990
1 Logic programming as constructiveism: a formalization and it.. (context) - Bry - 1989
1 Oregon Graduate Center (context) - Morris, Workshop - 1987
1 Negation by securable failure in logic programming (context) - Schlipf - 1987
1 Abstract appeared in 5th Int'l Conf (context) - Kunen, on et al. - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.columbia.edu/~kar/pubsk/pubsk.html): More
Glue-Nail: A Deductive Database System - Phipps, Derr, Ross (1991) (Correct)
Monotonic Aggregation in Deductive Databases - Ross, Sagiv (1992) (Correct)
Structural Totality and Constraint Stratification - Ross (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