Melvin Fitting  Home/Search
Context Related
| cuny.edu/fitting/bookspap...Prudent.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: ions Melvin Fitting fitting@alpha.lehman.cuny.edu Dept. Mathematics and Computer Science Lehman College (CUNY), Bronx, NY 10468 Depts. Computer Science, Philosophy, Mathematics Graduate Center (CUNY), 33 West 42nd Street, NYC, NY 10036 # October 13, 1994 Abstract A special class of partial stable models, the intrinsic ones, is singled out for consideration, and attention is drawn to the largest one, which we designate as the prudently brave one. It is the largest partial stable model ... (Update)
Context of citations to this paper: More
.... in [6] and have turned out to be a useful tool for investigating logic programming semantics [1, 2] and stable model semantics in particular [3, 5]. We refer you to these papers for a fuller treatment. Definition 1. A pre bilattice is a structure #B, # t , # k # where B is a...
...to a bilattice. Adding programs as an argument allows relativization to modules. Details of the bilattice approach can be found in [14]. The other item we mentioned was disjunctive logic programming. In this, heads of clauses are allowed to be not just atoms, but...
Cited by: More
Fixpoint Semantics for Logic Programming - A Survey - Fitting (1999) (Correct)
Annotated Revision Specification Programs - Fitting (1995) (Correct)
Similar documents (at the sentence level):
5.9%: The Family of Stable Models - Fitting (1993) (Correct)
Active bibliography (related documents): More All
0.7: A Theory of Truth that prefers falsehood - Fitting (1994) (Correct)
0.1: Logic Programming and Knowledge Representation - Baral, Gelfond (1994) (Correct)
0.1: Implicit Programming and Computable Optimal Fixed Points - Patterson, Costello (Correct)
Similar documents based on text: More All
0.3: On Quantified Modal Logic - Fitting (1999) (Correct)
0.3: Modal Logic Should Say More Than It Does - Fitting (1991) (Correct)
0.3: Herbrand's Theorem for a Modal Logic - Fitting (1996) (Correct)
Related documents from co-citation: More All
2: Bilattices and the semantics of logic programming - Fitting - 1991
2: Multivalued logics: A uniform approach to reasoning in artificial intelligence (context) - Ginsberg - 1988
2: Kleene's three-valued logics and their children (context) - Fitting - 1994
BibTeX entry: (Update)
Fitting, M. C. On prudent bravery and other abstractions. Submitted, 1994. http://citeseer.ist.psu.edu/fitting94prudent.html More
@misc{ fitting94prudent,
author = "M. Fitting",
title = "On prudent bravery and other abstractions",
text = "Fitting, M. C. On prudent bravery and other abstractions. Submitted, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/fitting94prudent.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
183 A useful four-valued logic (context) - Jr - 1977
125 Well-founded semantics coincides with three-valued stable-se.. - Przymusinski - 1990
120 Bilattices and the semantics of logic programming - Fitting - 1991
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
38 The family of stable models - Fitting - 1993
36 A theory of modules for logic programming (context) - Miller - 1986
25 Journal of Logic and Computation (context) - Fitting - 1992
14 Clausal intuitionistic logic II (context) - McCarty - 1988
7 Negation as failure in intuitionistic logic programming (context) - Giordano, Olivetti - 1992
6 The optimal approach to recursive programs (context) - Manna, Shamir - 1977
2 Notes on the mathematical aspects of Kripke's theory of trut.. (context) - Fitting - 1986
1 On Prudent Bravery and Other Abstractions (context) - McCarty, intuitionistic - 1988
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