Reasoning about truth (research note)
Artificial Intelligence
Paraconsistent logic programming
Theoretical Computer Science
RI: A logic for reasoning with inconsistency
Proceedings of the Fourth Annual Symposium on Logic in computer science
Truth and modality for knowledge representation
Truth and modality for knowledge representation
A logic for reasoning with inconsistent knowledge
Artificial Intelligence
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
A semantics for reasoning consistently in the presence of inconsistency
Artificial Intelligence
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
A Simple Signed System for Paraconsistent Reasoning
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Restricted Access Logics for Inconsistent Information
ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Automatic Diagnoses for Properly Stratified Knowledge-Bases
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Lattice-Structured Domains, Imperfect Data and Inductive Queries
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
ACM Transactions on Computational Logic (TOCL)
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Inconsistency and preservation
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
Representing paraconsistent reasoning via quantified propositional logic
Inconsistency Tolerance
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
A preferential framework for trivialization-resistant reasoning with inconsistent information
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
| Hi-index | 0.00 |
We present a new logical approach to reasoning from inconsistent information. The idea is to restore modelhood of inconsistent formulas by providing a third truth-value tolerating inconsistency. The novelty of our approach stems first from the restriction of entailment to three-valued models as similar as possible to two-valued models and second from an implication connective providing a notion of restricted monotonicity. After developing the semantics, we present a corresponding proof system that relies on a circumscription schema furnishing the syntactic counterpart of model minimization.