Ofer Arieli  Home/Search
Context
Related
| cs.kuleuven.ac.be/~dtai/p...32244.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: cs.kuleuven.ac.be/...2000E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a family of preferential consequence relations, defined by a simple and natural many-valued semantics. These relations share many desirable properties for common-sense reasoning, such as paraconsistency (da-Costa, [8]), plausibility (Lehmann, [12]), adaptivity (Batens, [4, 5]), and rationality (Lehmann and Magidor, [13]). 1 (Update)
Active bibliography (related documents): More All
0.9: General Patterns for Nonmonotonic Reasoning: From Basic.. - Arieli, Avron (2000) (Correct)
0.5: Nonmonotonic and Paraconsistent Reasoning: From Basic.. - Arieli, Avron (1999) (Correct)
0.4: The Value of the Four Values - Arieli, Avron (1998) (Correct)
Similar documents based on text: More All
0.3: Beyond rational monotony: some strong non-Horn rules for.. - Bezzazi, al. (1997) (Correct)
0.3: Formula-Preferential Systems for Paraconsistent Non-Monotonic.. - Avron, Lev (Correct)
0.2: On Representation Theorems for Nonmonotonic Inference Relations - Pérez, Uzcátegui (1997) (Correct)
BibTeX entry: (Update)
@misc{ arieli-reasoning,
author = "Ofer Arieli",
title = "Reasoning with Modularly Pointwise Preferential Relations",
url = "citeseer.ist.psu.edu/457097.html" }
Citations (may not include all citations):451 Circumscription -- A form of non monotonic reasoning (context) - McCarthy - 1980
343 Introduction to metamathematics (context) - Kleene - 1950
295 On closed world databases (context) - Reiter - 1978
224 preferential models and cumulative logics (context) - Kraus, Lehmann et al. - 1990
151 Reasoning about change (context) - Shoham - 1988
129 What does a conditional knowledge base entail (context) - Lehmann, Magidor - 1992
87 General theory of cumulative inference (context) - Makinson - 1989
71 A logic for reasoning with inconsistency - Kifer, Lozinskii - 1992
70 the theory of inconsistent formal systems (context) - da-Costa - 1974
36 Reasoning with logical bilattices - Arieli, Avron - 1996
33 Minimally Inconsistent LP (context) - Priest - 1991
29 Modern Uses of Multiple-Valued Logic (context) - Belnap, four-valued - 1977
25 Dynamic dialectical logics (context) - Batens - 1989
24 Inconsistency-adaptive logics (context) - Batens - 1998
22 The value of the four values - Arieli, Avron - 1998
21 Contemporary Aspects of Philosophy (context) - Belnap, should - 1977
19 Reasoning about truth (context) - Priest - 1989
14 Mechanical proof procedures for many valued lattice-based lo.. (context) - Subrahmanian - 1990
9 Handbook of Logic in Artificial Intelligence and Logic Progr.. (context) - Makinson, in - 1994
9 Plausibility logic (context) - Lehmann - 1992
6 Introduction to logic (context) - Tarski - 1941
3 Nonmonotonic and paraconsistent reasoning: From basic entail.. - Arieli, Avron - 1999
1 Reidel Publishing Company (context) - Scott, derived et al. - 1974
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2000-E.shtml): More
An Algorithmic Approach to Recover Inconsistent Knowledge-bases - Arieli (1919) (Correct)
Algorithms for Rewriting Aggregate Queries Using Views - Cohen, Nutt, Serebrenik (2000) (Correct)
CHAT: the Copy-Hybrid Approach to Tabling - Demoen, Sagonas (1999) (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