Sciweavers

24 search results - page 1 / 5
» A general framework for measuring inconsistency through mini...
Sort
View
KAIS
2011
79views more  KAIS 2011»
12 years 11 months ago
A general framework for measuring inconsistency through minimal inconsistent sets
Abstract. Hunter and Konieczny explored the relationships between measures of inconsistency for a belief base and the minimal inconsistent subsets of that belief base in several of...
Kedian Mu, Weiru Liu, Zhi Jin
IJCAI
2003
13 years 6 months ago
Evaluating Significance of Inconsistencies
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) m...
Anthony Hunter
ICDT
2009
ACM
135views Database» more  ICDT 2009»
13 years 11 months ago
Repair checking in inconsistent databases: algorithms and complexity
Managing inconsistency in databases has long been recognized as an important problem. One of the most promising approaches to coping with inconsistency in databases is the framewo...
Foto N. Afrati, Phokion G. Kolaitis
NIPS
2008
13 years 6 months ago
Measures of Clustering Quality: A Working Set of Axioms for Clustering
Aiming towards the development of a general clustering theory, we discuss abstract axiomatization for clustering. In this respect, we follow up on the work of Kleinberg, ([1]) tha...
Shai Ben-David, Margareta Ackerman
CADE
2009
Springer
14 years 5 months ago
Does This Set of Clauses Overlap with at Least One MUS?
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
Éric Grégoire, Bertrand Mazure, C&ea...