M. Kifer and E. L. Lozinskii, "A logic for reasoning with inconsistency," Journal of Automated Reasoning 9(2), pp.179--215, 1992. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Formula-Preferential Base for Paraconsistent and Plausible.. - Avron, Lev (Correct)
Characterizing and Computing Semantically Correct.. - Barcelo, Bertossi, Bravo (2003) (Correct)
Circumscriptive Approaches to Paraconsistent Reasoning - Arieli, Denecker (2001) (Correct)
Logic Programs for Querying Inconsistent Databases - Barceló, Bertossi (Correct)
Modeling Paraconsistent Reasoning by Classical Logic - Arieli, Denecker (Correct)
Repairing Inconsistent Databases: A.. - Arieli, Denecker, .. (2 citations) (Correct)
Characterizing and Computing Semantically Correct.. - Barceló, Bertossi, Bravo (Correct)
Logics for Emerging Applications of Databases - Chomicki, Saake, van der Meyden (2003) (Correct)
A Logical Framework for Integrating Inconsistent.. - de Amo, Carnielli.. (2002) (3 citations) (Correct)
Logic Programs for Querying Inconsistent Databases - Barceló, Bertossi (Correct)
Repairing Databases with Annotated Predicate Logic - Barceló, Bertossi (Correct)
Repairing Databases with Annotated Predicate Logic - Barceló, Bertossi (Correct)
Logic Programs for Repairing and Querying Inconsistent Databases - Barceló, Bertossi (Correct)
Coherent Composition of Distributed.. - Arieli, Van.. (2001) (Correct)
Query Answering in Inconsistent Databases - Bertossi, Chomicki (Correct)
Inconsistency and Preservation - Wong (Correct)
From Weak Satisfiability to n-Satisfiability on Hypergraphs - Wong (1998) (Correct)
An Annotated Logic Defined by a Matrix - Bowers, Lewin, Pigozzi (Correct)
Paraconsistent Stable Semantics for Extended Disjunctive Programs - Sakama, Inoue (1995) (18 citations) (Correct)
Reasoning with Modularly Pointwise Preferential Relations - Arieli (Correct)
A Parametric Approach to Deductive Databases with Uncertainty - Lakshmanan (1997) (23 citations) (Correct)
Formula-Preferential Systems for Paraconsistent Non-Monotonic.. - Avron, Lev (6 citations) (Correct)
General Patterns for Nonmonotonic Reasoning: From Basic.. - Arieli, Avron (2000) (2 citations) (Correct)
Model Generation Theorem Proving with Finite Interval.. - Hähnle, Hasegawa, Shirai (Correct)
A Survey of Paraconsistent Semantics for Logic Programs - Damásio, Pereira (1998) (7 citations) (Correct)
Logics for Databases and Information Systems - Chomicki, (eds.) (1998) (15 citations) (Correct)
Signed Formula Logic Programming: Operational Semantics and.. - Calmet, Lu, al. (1995) (2 citations) (Correct)
Efficient Evaluation of Normal Logic Programs - Swift (1994) (3 citations) (Correct)
Representation Theorems and Theorem Proving in Non-Classical .. - Sofronie-Stokkermans (Correct)
Automated Theorem Proving by Resolution for.. - Sofronie-Stokkermans (1999) (5 citations) (Correct)
Chaining Techniques for Automated Theorem Proving in.. - Ganzinger.. (2000) (1 citation) (Correct)
Tabling for Logic-based Artificial Intelligence - Swift (1999) (Correct)
An Annotated Logic Defined By A Matrix - Bowers, Lewin, Pigozzi (2000) (Correct)
Detecting Pragmatic Infelicities - Marcu, Hirst (1996) (1 citation) (Correct)
General Patterns for Nonmonotonic Reasoning: From Basic.. - Arieli, Avron (2000) (2 citations) (Correct)
A General Framework For Distributed Reason Maintenance - Calmet, Schü, Taneda (Correct)
Coherent Well-founded Annotated Logic Programs - Damásio, Pereira, Swift (1999) (Correct)
A Formal and Computational Characterization of Pragmatic.. - Marcu, Hirst (1996) (1 citation) (Correct)
Probabilistic Deductive Databases - Lakshmanan, Sadri (1994) (36 citations) (Correct)
Deduction in Many-Valued Logics: a Survey - Reiner Hähnle, Gonzalo.. (1997) (2 citations) (Correct)
Coherent Well-founded Annotated Logic Programs - Damásio, Pereira, Swift (1999) (Correct)
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)
A Paraconsistent Semantics Detecting Contradiction Support - Damásio, Pereira (Correct)
Applications of Annotated Predicate Calculus to Querying.. - Marcelo Arenas Leopoldo (2000) (3 citations) Self-citation (Kifer) (Correct)
Applications of Annotated Predicate Calculus to Querying.. - Arenas, Bertossi, Kifer (2000) (3 citations) Self-citation (Kifer) (Correct)
Applications of Annotated Predicate Calculus to Querying.. - Arenas, Bertossi, Kifer (2000) (3 citations) Self-citation (Kifer) (Correct)
Applications of Annotated Predicate Calculus to Querying.. - Arenas, Bertossi, Kifer (2000) (3 citations) Self-citation (Kifer) (Correct)
Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, Wu (1990) (367 citations) Self-citation (Kifer) (Correct)
First 50 documents Next 50
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