Melvin Fitting  Home/Search
Context Related
| cuny.edu/fitting/b...FixPointSurvey.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: cuny.edu/fitting/booksp...logprog (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we summarize one variety of approaches to the semantics (Update)
Cited by: More
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
Minimum Model Semantics for Logic Programs with.. - Rondogiannis, Wadge (Correct)
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (Correct)
Active bibliography (related documents): More All
0.8: The Family of Stable Models - Fitting (1993) (Correct)
0.7: Well-Founded Semantics, Generalized - Fitting (1991) (Correct)
0.6: Annotated Revision Specification Programs - Fitting (1995) (Correct)
Similar documents based on text: More All
0.3: On Quantified Modal Logic - Fitting (1999) (Correct)
0.3: A Program to Compute Gödel-Löb Fixpoints - Fitting (1995) (Correct)
0.3: Negation as Refutation - Fitting (1989) (Correct)
Related documents from co-citation: More All
27: The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross et al. - 1991
20: The Stable Model Semantics for Logic Programming - Gelfond - 1988
15: The well-founded semantics coincides with the three-valued stable semantics - Przymusinski - 1990
BibTeX entry: (Update)
M. C. Fitting. Fixpoint semantics for logic programming -- a survey. Theoretical Computer Science, 1999. To appear. http://citeseer.ist.psu.edu/fitting99fixpoint.html More
@article{ fitting02fixpoint,
author = "Melvin Fitting",
title = "Fixpoint semantics for logic programming a survey",
journal = "Theoretical Computer Science",
volume = "278",
number = "1-2",
pages = "25-51",
year = "2002",
url = "citeseer.ist.psu.edu/fitting99fixpoint.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
343 Introduction to Metamathematics (context) - Kleene - 1950
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
186 Negation in logic programming (context) - Kunen - 1987
183 A useful four-valued logic (context) - Jr - 1977
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982
125 Well-founded semantics coincides with three-valued stable-se.. - Przymusinski - 1990
120 Bilattices and the semantics of logic programming - Fitting - 1991
118 Unfounded sets and well-founded semantics for general logic .. (context) - Van Gelder, Ross et al. - 1988
115 The alternating fixpoint of logic programs with negation (context) - Van Gelder - 1989
99 Multivalued logics: a uniform approach to reasoning in artif.. (context) - Ginsberg - 1988
55 Clausal intuitionistic logic (context) - McCarty - 1988
42 Quantitative deduction and its fixpoint theory (context) - van Emden - 1986
38 The family of stable models - Fitting - 1993
37 Logic programs with uncertainties: A tool for implementing r.. (context) - Shapiro - 1983
36 A theory of modules for logic programming (context) - Miller - 1986
34 Stationary semantics for disjunctive logic programs and dedu.. (context) - Przymusinski - 1990
31 Answer sets and negation-as-failure (context) - Kunen - 1987
25 Journal of Logic and Computation (context) - Fitting - 1992
25 Three-valued non-monotonic formalisms and semantics of logic.. - Przymusinski - 1991
24 Bilattices in logic programming - Fitting - 1990
23 Kleene's three-valued logics and their children (context) - Fitting - 1994
22 Theoretical Computer Science (context) - Fitting - 1987
20 Quasi-metrics and the semantics of logic programs - Seda - 1996
17 Some remarks on the completed database (context) - Kunen - 1988
14 Clausal intuitionistic logic II (context) - McCarty - 1988
13 Kleene semantics for logic programs (context) - Fitting - 1985
12 A new method of proving the existence of answer sets for dis.. (context) - Khamsi, Kreinovich et al.
12 Signed data dependencies in logic programming (context) - Kunen - 1989
7 Negation as failure in intuitionistic logic programming (context) - Giordano, Olivetti - 1992
6 Mathematical Structures in Computer Science (context) - Avron
6 The justification of negation as failure (context) - Fine - 1989
5 Handbook of Philosophical Logic (context) - Blamey - 1985
4 The recursion-theoretic complexity of the semantics of predi.. (context) - Blair - 1982
4 A lattice-theoretical theorem and its applications (context) - Tarski - 1955
2 Bulletin of the American Mathematical Society (context) - Smullyan - 1956
2 Bulletin of the American Mathematical Society (context) - Smullyan - 1956
2 On prudent bravery and other abstractions - Fitting - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://comet.lehman.cuny.edu/fitting/bookspapers/logprog.html): More
The Family of Stable Models - Fitting (1993) (Correct)
Bilattices In Logic Programming - Fitting (1990) (Correct)
Metric Methods Three Examples And A Theorem - Fitting (1993) (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