See this document in CiteSeerX!

Negation as Partial Failure (1993)  (Make Corrections)  (2 citations)
Bamshad Mobasher, Jacek Leszczylowski, Giora Slutzki, Don Pigozzi
Logic Programming and Non-monotonic Reasoning



  Home/Search   Context   Related

 
View or download:
depaul.edu/~mobasher/papers...lpnmr.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  depaul.edu/~mobasher/pubs (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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