Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Defeasible reasoning and decision support systems
Decision Support Systems
HARP: a tableau-based theorem prover
Journal of Automated Reasoning
Reasoning about truth (research note)
Artificial Intelligence
Updating derived relations: detecting irrelevant and autonomously computable updates
ACM Transactions on Database Systems (TODS)
Artificial Intelligence
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Tractable reasoning via approximation
Artificial Intelligence
Argumentative logics: reasoning with classically inconsistent information
Data & Knowledge Engineering
Abstract argumentation systems
Artificial Intelligence
On the logic of iterated belief revision
Artificial Intelligence
Artificial Intelligence
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Safe and sound: artificial intelligence in hazardous applications
Safe and sound: artificial intelligence in hazardous applications
ACM Computing Surveys (CSUR)
A logic-based theory of deductive arguments
Artificial Intelligence
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Two Information Measures for Inconsistent Sets
Journal of Logic, Language and Information
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
A Methodology for Iterated Theory Change
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
A Local Approach to Reasoning under Incosistency in Stratified Knowledge Bases
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
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
A Semantic Tableau Version of First-Order Quasi-Classical Logic
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Extensible Framework for Repairing Constraint Violations
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
Merging with Integrity Constraints
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Measuring inconsistency in knowledge via quasi-classical models
Eighteenth national conference on Artificial intelligence
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
Logical comparison of inconsistent perspectives using scoring functions
Knowledge and Information Systems
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Compiling knowledge into decomposable negation normal form
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Knowledge compilation using theory prime implicates
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Quantifying information and contradiction in propositional logic through test actions
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Evaluating significance of inconsistencies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A new method for solving hard satisfiability problems
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
Argumentative inference in uncertain and inconsistent knowledge bases
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Analysing inconsistent first-order knowledgebases
Artificial Intelligence
Inconsistency: the good, the bad, and the ugly
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
On the measure of incoherence in extended residuated logic programs
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
A Syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
The operations on intuitionistic fuzzy values in the framework of Dempster-Shafer theory
Knowledge-Based Systems
Managing uncertainty in databases and scaling it up to concurrent transactions
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Approaches to measuring inconsistency for stratified knowledge bases
International Journal of Approximate Reasoning
Hi-index | 0.00 |
Inconsistency arises in many areas in advanced computing. Examples include: Merging information from heterogeneous sources; Negotiation in multi-agent systems; Understanding natural language dialogues; and Commonsense reasoning in robotics. Often inconsistency is unwanted, for example, in the specification for a plan, or in sensor fusion in robotics. But sometimes inconsistency is useful, e.g. when lawyers look for inconsistencies in an opposition case, or in a brainstorming session in research collaboration. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledgebases, and software systems. To address this, inconsistency tolerance is being built on foundational technologies for identifying and analysing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. In this introductory chapter, we consider the need and role for inconsistency tolerance, and briefly review some of the foundational technologies for inconsistency tolerance.