Melvin Fitting  Home/Search
Context Related
| cuny.edu/fitting/bookspap...BilInLP.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: Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiple-valued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Now we consider further restrictions on bilattices, to narrow things down to logic programming languages that can, at least in principle, be implemented. Appropriate bilattice background information is presented, so the paper is relatively self-contained. 1 Introduction Logic ... (Update)
Context of citations to this paper: More
.... generalization of the four valued semantical structure to a larger family of multiple valued algebraic structures, called bilattices [20,28,29]. The semantics that is obtained is then discussed and some of its properties are illustrated. In Section 5 we summarize the main...
.... based on [Lee72] have been proposed, e.g. the ones described in [Hin86, IK85, Orc89] More recent developments [Fit88, Fit90, KS91, Sha83, vE86] have focused on fixpoint semantics, either working with definite programs or approaching the definition of negation by...
Cited by: More
Negation as Partial Failure - Mobasher, Leszczylowski, Slutzki.. (1993) (Correct)
Algebraic Semantics for Knowledge-based Logic Programs - Bamshad Mobasher Univ (1994) (Correct)
An Encompassing Framework for Paraconsistent Logic Programs - Alcantara, Damasio, Pereira (2003) (Correct)
Active bibliography (related documents): More All
1.0: Bilattices and the Semantics of Logic Programming - Fitting (1989) (Correct)
0.4: Negation as Refutation - Fitting (1989) (Correct)
0.2: Dialogue Games for Inconsistent and Biased Information - Lebbink, Witteman, Meyer (2004) (Correct)
Similar documents based on text: More All
0.4: The Family of Stable Models - Fitting (1993) (Correct)
0.4: Well-Founded Semantics, Generalized - Fitting (1991) (Correct)
0.4: A Duality Theory for Bilattices - Mobasher, Pigozzi, Slutzki.. (1998) (Correct)
Related documents from co-citation: More All
18: Bilattices and the semantics of logic programming - Fitting - 1991
17: Multivalued logics: A uniform approach to reasoning in artificial intelligence (context) - Ginsberg - 1988
14: Kleene's three-valued logics and their children (context) - Fitting - 1994
BibTeX entry: (Update)
Fitting, M.: "Bilattices in Logic Programming," in: Proceedings of the 20 th International Symposium on Multiple-valued Logic, 1990. http://citeseer.ist.psu.edu/fitting90bilattices.html More
@inproceedings{ fitting90bilattices,
author = "Melvin C.~Fitting",
title = "Bilattices in Logic Programming",
booktitle = "20th International Symposium on Multiple-Valued Logic, Charlotte",
publisher = "IEEE CS Press, Los Alamitos",
pages = "238--247",
year = "1990",
url = "citeseer.ist.psu.edu/fitting90bilattices.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
258 A lattice-theoretical fixpoint theorem and its applications (context) - Tarski - 1955
248 The Semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
235 First-Order Logic (context) - Smullyan - 1968
186 Negation in logic programming (context) - Kunen - 1987
183 A Useful four-valued logic (context) - Belnap - 1977
120 Bilattices and the semantics of logic programming - Fitting
82 Signed data dependencies in logic programs (context) - Kunen - 1989
42 Quantitative deduction and its fixpoint theory (context) - van Emden - 1986
32 Multivalued Logics: A Uniform Approach to Inference in Artif.. - Ginsberg
31 Logic programming on a topological bilattice (context) - Fitting - 1988
26 Multi-valued logics (context) - Ginsberg - 1986
23 Negation as refutation - Fitting - 1989
19 Bilattices and the theory of truth (context) - Fitting - 1989
15 Stratified and three-valued logic programming semantics - Fitting, Ben-Jacob - 1988
13 Kleene semantics for logic programs (context) - Fitting, Kripke - 1985
4 Introduction to Methmathematics (context) - Kleene - 1950
2 weak stratified and three-valued semantics (context) - Fitting, Ben-Jacob
1 IBM Tokyo Research Laboratory (context) - Morishita, Programs et al. - 1988
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)
Metric Methods Three Examples And A Theorem - Fitting (1993) (Correct)
On Prudent Bravery and Other Abstractions - Fitting (1994) (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