Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Reasoning about truth (research note)
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Tractable reasoning via approximation
Artificial Intelligence
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
Integration of weighted knowledge bases
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Artificial Intelligence
Introduction to actual and potential contradictions
Handbook of defeasible reasoning and uncertainty management systems
Handbook of defeasible reasoning and uncertainty management systems
Modal logics for representing incoherent knowledge
Handbook of defeasible reasoning and uncertainty management systems
Default reasoning from conditional knowledge bases: complexity and tractable cases
Artificial Intelligence
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Nonmonotonic reasoning: from complexity to algorithms
Annals of Mathematics and Artificial Intelligence
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Coherence in finite argument systems
Artificial Intelligence
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Reasoning in Inconsistent Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Three-Valued Logics for Inconsistency Handling
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Relations between the logic of theory change and nonmonotonic logic
Proceedings of the Workshop on The Logic of Theory Change
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Resource-Bounded Paraconsistent Inference
Annals of Mathematics and Artificial Intelligence
Quasi-possibilistic logic and its measures of information and conflict
Fundamenta Informaticae
Weakening conflicting information for iterated revision and knowledge integration
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
On Stratified Belief Base Compilation
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
Compiling propositional weighted bases
Artificial Intelligence - Special issue on nonmonotonic reasoning
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A knowledge-level account of abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Inconsistency management and prioritized syntax-based entailment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Preferred arguments are harder to compute than stable extensions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
On the acceptability of arguments in preference-based argumentation
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in 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
Hi-index | 0.00 |
Reasoning in a non-trivial way from inconsistent pieces of information is a major challenge in artificial intelligence, and its importance is reflected by the number of techniques designed so far for dealing with inconsistency (especially the few ones reported in this handbook). Many of these techniques have been investigated in depth from a logical point of view, but far less to what concerns the computational complexity aspects. The purpose of this chapter is to present in a structured way the main complexity results identified so far for paraconsistent inference based on multi-valued propositional logics.