Ofer Arieli, Marc Denecker  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/p...39091.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/...2002E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a general method for paraconsistent reasoning in the context of classical logic. (Update)
Context of citations to this paper: More
...reasoning by formulae in the underlying language. Next we de ne the framework for doing so. For a longer version of this paper see [4]. O.Arieli and M.Denecker 2.2 The underlying semantical structure The formalism that we consider here is based on Belnap s four valued...
...preferentially entails ) if every element of ( satis es . We denote this by j= This is a revised and an extended version of [5]. Several similar ways of de ning preferential reasoning are given in the literature. Here we follow the de nitions in [21] In case...
Cited by: More
Circumscriptive Approaches to Paraconsistent Reasoning - Arieli, Denecker (2001) (Correct)
Modeling Paraconsistent Reasoning by Classical Logic - Arieli, Denecker (Correct)
Active bibliography (related documents): More All
0.6: Paraconsistent Declarative Semantics for Extended Logic Programs - Arieli (2002) (Correct)
0.6: Three-valued Logics for Inconsistency Handling - Konieczny, Marquis (Correct)
0.4: A Multiple Worlds Semantics to a Paraconsistent.. - Martins, Pequeno, Pequeno (Correct)
Similar documents based on text: More All
0.6: General Patterns for Nonmonotonic Reasoning: From Basic.. - Arieli, Avron (2000) (Correct)
0.6: A Survey of Paraconsistent Semantics for Logic Programs - Damásio, Pereira (1998) (Correct)
0.6: Paraconsistent Reasoning Based on Strong Relevant Logic (Extended.. - Cheng (Correct)
Related documents from co-citation: More All
2: Arti cial Intelligence (context) - Priest, truth - 1989
2: What does a conditional knowledge base entail (context) - Lehmann - 1989
2: Arti cial Intelligence (context) - Arieli, Avron et al. - 1998
BibTeX entry: (Update)
O.Arieli, M.Denecker. Circumscriptive approaches to paraconsistent reasoning. Technical Report CW-304, Department of Computer Science, University of Leuven, 2001. http://citeseer.ist.psu.edu/arieli01circumscriptive.html More
@misc{ arieli01circumscriptive,
author = "O. Arieli and M. Denecker",
title = "Circumscriptive approaches to paraconsistent reasoning",
text = "O.Arieli, M.Denecker. Circumscriptive approaches to paraconsistent reasoning.
Technical Report CW-304, Department of Computer Science, University of Leuven,
2001.",
year = "2001",
url = "citeseer.ist.psu.edu/arieli01circumscriptive.html" }
Citations (may not include all citations):343 Introduction to metamathematics (context) - Kleene - 1950
297 Applications of circumscription to formalizing common-Sense .. - McCarthy - 1986
234 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
174 Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
151 Reasoning about change (context) - Shoham - 1988
129 What does a conditional knowledge base entail (context) - Lehmann, Magidor - 1992
99 Multi-valued logics: A uniform approach to reasoning in AI (context) - Ginsberg - 1988
87 General theory of cumulative inference (context) - Makinson - 1989
71 A logic for reasoning with inconsistency - Kifer, Lozinskii - 1992
67 A circumscriptive theorem prover - Ginsberg - 1989
56 An algorithm to compute circumscription (context) - Przymusinski - 1991
42 A form of non monotonic reasoning (context) - McCarthy - 1980
36 Reasoning with logical bilattices - Arieli, Avron - 1996
33 Minimally Inconsistent LP (context) - Priest - 1991
30 Computing circumscription revisited: A reduction algorithm - Doherty, Lukaszewicz et al. - 1997
29 Modern Uses of Multiple-Valued Logic (context) - Belnap, four-valued - 1977
25 Journal of Logic and Computation (context) - Fitting, generalized - 1990
22 RI: A logic for reasoning with inconsistency (context) - Kifer, Lozinskii - 1989
21 Contemporary Aspects of Philosophy (context) - Belnap, should - 1977
18 Arti cial Intelligence (context) - Kraus, Lehmann et al. - 1990
14 Mechanical proof procedures for many valued lattice-based lo.. (context) - Subrahmanian - 1990
8 Computing circumscription revisited: Preliminary report - Doherty, Lukaszewicz et al. - 1995
5 Arti cial Intelligence (context) - Priest, truth - 1989
5 Arti cial Intelligence (context) - Arieli, Avron et al. - 1998
3 The logical role of the four-valued bilattice - Arieli, Avron - 1998
3 the theory of inconsistent formal systems (context) - da-Costa - 1974
3 Handbook of Logic in Arti cial Intelligence and Logic Progra.. (context) - Makinson, in - 1994
2 Circumscriptive approaches to paraconsistent reasoning - Arieli, Denecker - 2001
2 Frontiers of Paraconsistent Logic (context) - Arieli, Avron et al. - 2000
1 Lecture Notes in Arti cial Intelligence (context) - Ohlbach, of et al. - 1996
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2002-E.shtml): More
Web Mining - Kosala, al. (Correct)
Trailing Analysis for HAL - Schrijvers, Banda, Demoen (2002) (Correct)
Reuse of Results in Termination Analysis of Typed.. - Bruynooghe, Codish.. (2002) (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