Ofer Arieli, Arnon Avron  Home/Search
Context Related
Links: DBLP | math.tau.ac.il/~aa/artic...jlli96.ps.gz math.tau.ac.il/~ofera/jlli96.ps.gz antares.math.tau.ac.il/~...jlli96.ps.gz 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: math.tau.ac.il/~aa/ (more) From: math.tau.ac.il/~ofera/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for efficient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our work.... (Update)
Context of citations to this paper: More
.... then l =p) As usual in the context of logic programming, we shall deal with formulae in a clausal form, as de ned below: See, e.g. [5,6,11,12,32,34,39] for some non classical methods for reasoning with partial or contradictory information. De nition 2.1. Let n m 0. A...
.... (partial) solution to this problem is by using preferential reasoning in the context of multiplevalued logic (see, e.g. [1, 2, 3, 4, 16, 17, 25, 26]) At the computational level, implementing paraconsistent reasoning based on four valued semantics poses important challenges....
Cited by: More
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (Correct)
A Formula-Preferential Base for Paraconsistent and Plausible.. - Avron, Lev (Correct)
Similar documents (at the sentence level):
7.2%: Logical Bilattices and Inconsistent Data - Arieli, Avron (1994) (Correct)
Active bibliography (related documents):
0.5: The Ontology Level - Guarino (1995) (Correct)
Similar documents based on text: More All
0.5: The Logical Role of the Four-Valued Bilattice - Arieli, Avron (1998) (Correct)
0.4: The Value of the Four Values - Arieli, Avron (1998) (Correct)
0.2: Formulas for which Contraction is - Admissible Arnon Avron (Correct)
Related documents from co-citation: More All
26: Bilattices and the semantics of logic programming - Fitting - 1991
23: Multivalued logics: A uniform approach to reasoning in artificial intelligence (context) - Ginsberg - 1988
17: Modern Uses of Multiple-Valued Logic (context) - Belnap, four-valued - 1977
BibTeX entry: (Update)
O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language, and Information, to appear (1995). http://citeseer.ist.psu.edu/arieli95reasoning.html More
@article{ arieli96reasoning,
author = "Ofer Arieli and Arnon Avron",
title = "Reasoning with Logical Bilattices",
journal = "Journal of Logic, Language and Information",
volume = "5",
number = "1",
pages = "25-63",
year = "1996",
url = "citeseer.ist.psu.edu/arieli95reasoning.html" }
Citations (may not include all citations):2 Handbook of Philosophical Logic (context) - Stichel, Ed et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.tau.ac.il/~aa/): More
On Negation, Completeness and Consistency - Avron (Correct)
Bilattices and Paraconsistency - Arieli, Avron (1997) (Correct)
Multiplicative Conjunction as an Extensional Conjunction - Avron (1997) (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