Michael Kifer, Eliezer L. Lozinskii  Home/Search
Context Related
| sunysb.edu/pub/TechReports/...rwi.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: sunysb.edu/~kifer/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Most known computational approaches to reasoning have problems when facing inconsistency, so they assume that a given logical system is consistent. Unfortunately, the latter is difficult to verify and very often is not true. It may happen that addition of data to a large system makes it inconsistent, and hence destroys the vast amount of meaningful information. We present a logic, called APC (annotated predicate calculus; cf. annotated logic programs of [3], that treats any set of clauses,... (Update)
Context of citations to this paper: More
.... 1991; Batens, 1998] Others were based on preferences between the truth values that are assigned to formulas (see e.g. [Kifer and Lozinskii, 1992; Arieli and Avron, 2000a] Preferential systems were also used for providing semantics for nonmonotonic consequence relations...
Cited by: More
Formal Inconsistency and Evolutionary Databases - Group (Correct)
Composite Distributive Lattices as Annotation Domains for.. - Calmet, Kullmann, Taneda (2000) (Correct)
Design Principles for Secure Integration of Information - Calmet, Schü (1995) (Correct)
Active bibliography (related documents): More All
0.4: Antitonic Logic Programs - Damasio, Pereira (2001) (Correct)
0.3: Disjunctive Logic Programming: A Survey And Assessment - Minker, Seipel (Correct)
0.2: Theory of Generalized Annotated Logic Programming and its.. - Kifer, Subrahmanian (1992) (Correct)
Similar documents based on text: More All
0.2: Research Note - The Good Old (Correct)
0.2: Unknown - First We Define (Correct)
0.1: Comparative Assessment of Human Error in Autonomous.. - Reuth, Schlick, Luczak (Correct)
Related documents from co-citation: More All
37: Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
35: Theory of generalized annotated logic programming and its applications - Kifer, Subrahmanian - 1992
24: Multivalued logics: A uniform approach to reasoning in artificial intelligence (context) - Ginsberg - 1988
BibTeX entry: (Update)
M. Kifer and E.L. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated Reasoning, 9(2):179--215, November 1992. http://citeseer.ist.psu.edu/kifer92logic.html More
@article{ kifer92logic,
author = "Michael Kifer and Eliezer L. Lozinskii",
title = "A Logic for Reasoning with Inconsistency",
journal = "Journal of Automated Reasoning",
volume = "9",
number = "2",
pages = "179--215",
year = "1992",
url = "citeseer.ist.psu.edu/kifer92logic.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973
297 Applications of circumscription to formalizing common-sense .. - McCarthy - 1986
210 A formal theory of knowledge and action (context) - Moore - 1986
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
183 A useful four-valued logic (context) - Belnap - 1977
161 A logic of implicit and explicit belief (context) - Levesque - 1984
134 Theory of generalized annotated logic programming and its ap.. - Kifer, Subrahmanian - 1992
106 Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989
101 HiLog: A foundation for higher-order logic programming - Chen, Kifer et al. - 1993
99 Multivalued logics: A uniform approach to reasoning in Artic.. (context) - Ginsberg - 1988
73 A clash of intuitions: The current state of nonmonotonic mul.. (context) - Touretzky, Horty et al. - 1987
70 the theory of inconsistent formal systems (context) - Costa - 1974
67 Foundations of Deductive Databases and Logic Programming (context) - Minker - 1988
62 First-order modal tableaux (context) - Fitting - 1988
58 in and J.Y. Halpern. Belief, awareness, and limited reasonin.. (context) - Fag - 1988
52 the declarative semantics of logic programs with negation (context) - Lifschitz - 1988
40 the semantics of rule based expert systems with uncertainty (context) - Kifer, Li - 1988
37 the semantics of quantitative logic programs (context) - Subrahmanian - 1987
27 Computing with Logic: Logic Programming with Prolog (context) - Maier, Warren - 1988
23 Negation as refutation - Fitting - 1988
20 The Logic of Inconsistency (context) - Rescher, Brandom - 1980
19 Reasoning about truth (context) - Priest - 1989
15 Cambridge University Press (context) - Haack, Logic - 1978
14 Mechanical proof procedures for many-valued lattice-based lo.. (context) - Subrahmanian - 1989
11 Quantitative deduction and its xpoint theory (context) - van Emden - 1986
3 Bilattices and the semantics of logic programs (context) - Fitting - 1991
1 Circumscription as introspection (context) - Perlis - 1987
1 A resolution method for quantied modal logics of knowledge a.. (context) - Geissler, Konolige - 1986
1 Approximate reasoning and scott's information systems (context) - Rasiowa, Epstein - 1987
1 A functional approach to non-monotonic logic (context) - Snadewall - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.sunysb.edu/~kifer/papers.html): More
Theory of Generalized Annotated Logic Programming and its.. - Kifer, Subrahmanian (1992) (Correct)
On the Decidability and Axiomatization of Query Finiteness in.. - Kifer (1998) (Correct)
A Theory of Nonmonotonic Inheritance Based on Annotated Logic - Thirunarayan, Kifer (1992) (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