Bamshad Mobasher, Jacek Leszczylowski, Giora Slutzki, Don Pigozzi  Home/Search
Context Related
| depaul.edu/~mobasher/papers...lpnmr.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: depaul.edu/~mobasher/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the concepts of truth and knowledge. The space of truth values includes not only true and false, but also other truth values which represent no information or conflicting information. Programs are interpreted according to their knowledge content, resulting in a monotonic semantic operator . We present a novel procedural... (Update)
Context of citations to this paper: More
...the precision ordering) in order to effectively deal with varying degrees of belief and doubt in probabilistic deductive database. In [20, 21] we developed a knowledge based procedural semantics based on the 4 valued Belnap bilattice and proved soundness and completeness...
Cited by: More
Algebraic Semantics for Knowledge-based Logic Programs - Bamshad Mobasher Univ (1994) (Correct)
Multi-valued Logic Programming Semantics: An Algebraic Approach - Bamshad Mobasher (1997) (Correct)
Active bibliography (related documents): More All
0.1: Input/output Dependencies of Normal Logic Programs - Stärk (Correct)
0.1: Theory of Generalized Annotated Logic Programming and its.. - Kifer, Subrahmanian (1992) (Correct)
0.1: Bilattices and the Semantics of Logic Programming - Fitting (1989) (Correct)
Similar documents based on text: More All
0.4: A Duality Theory for Bilattices - Mobasher, Pigozzi, Slutzki.. (2000) (Correct)
0.3: Linear-Time Algorithms for Parametric Minimum Spanning.. - Fernandez-Baca, Slutzki (1995) (Correct)
0.3: Optimal Parametric Search on Graphs of Bounded Tree-width - Fernandez-Baca, Slutzki (1994) (Correct)
Related documents from co-citation: More All
2: A useful four-valued logic (context) - Belnap - 1977
2: Properties of Substitutions and Unifications (context) - Eder - 1985
2: Bilattices in Logic Programming - Fitting - 1990
BibTeX entry: (Update)
B. Mobasher, J. Leszczylowski, G. Slutzki, and D. Pigozzi, Negation as Partial Failure, in Proceedings of the Second International Workshop on Logic Programming and Non-monotonic Reasoning, L. M. Pereira and A. Nerode editors, MIT Press (1993), pp. 244-262. http://citeseer.ist.psu.edu/mobasher93negation.html More
@inproceedings{ mobasher93negation,
author = "Bamshad Mobasher and Jacek Leszczylowski and Don Pigozzi",
title = "Negation as Partial Failure",
booktitle = "Logic Programming and Non-monotonic Reasoning",
pages = "244-262",
year = "1993",
url = "citeseer.ist.psu.edu/mobasher93negation.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
759 Negation as failure (context) - Clark - 1978
343 Introduction to Metamathematics (context) - Kleene - 1957
295 On closed world data bases (context) - Reiter - 1978
258 A lattice theoretical fixpoint theorem and its applications (context) - Tarski - 1955
235 First Order Logic (context) - Smullyan - 1968
186 Negation in logic programming (context) - Kunen - 1987
174 KripkeKleene semantic logic program (context) - Kleene, logic et al. - 1985
166 Unification revisited (context) - Lassez, Maher et al. - 1988
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
159 Predicate logic as a programming language (context) - Kowalski - 1974
144 Contribution to the theory of logic programming (context) - Apt, van Emden - 1982
120 Bilattices and semantics of logic programming - Fitting
99 Multi-valued logics: a uniform approach to reasoning in arti.. (context) - Ginsberg - 1988
68 Negation in logic programming (context) - Shepherdson - 1988
40 Algebraic properties of idempotent substitutions - Palamidessi - 1990
31 Logic programming on a topological bilattice (context) - Fitting - 1988
26 Multi-valued logics (context) - Ginsberg - 1986
24 Bilattices in logic programming - Fitting - 1990
23 Negation as refutation - Fitting - 1978
22 Theoretical Computer Science (context) - Fitting, models et al. - 1986
12 Paraconsistent foundations for logic programming (context) - Blair, Subrahmanian - 1982
12 Conclog: A Methodological Approach to Concurrent Logic Progr.. (context) - Jacquet - 1991
6 Logics for negation as failure (context) - Shepherdson - 1990
1 A usefull four-valued logic (context) - Belnap - 1977
Documents on the same site (http://maya.cs.depaul.edu/~mobasher/pubs.html): More
A Framework For Mixed Initiative Agent-Based Contracting - Collins, Tsvetovat.. (1999) (Correct)
Partitioning-Based Clustering for Web Document.. - Boley, Gini, Gross.. (1999) (Correct)
Web Mining: Pattern Discovery from World Wide Web.. - Mobasher, Jain, Han.. (1996) (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