Measuring inconsistency with constraints for propositional knowledge bases (Q1647509): Difference between revisions

@@ Property / cites work @@
+Revisiting Postulates for Inconsistency Measures
@@ Property / cites work: Revisiting Postulates for Inconsistency Measures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715677
@@ Property / cites work: Q5715677 / rank @@
+Normal rank
@@ Property / cites work @@
+What causes a system to satisfy a specification?
@@ Property / cites work: What causes a system to satisfy a specification? / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
+Normal rank
@@ Property / cites work @@
+Causes and Explanations: A Structural-Model Approach. Part I: Causes
+Normal rank
@@ Property / cites work @@
+On the measure of conflicts: Shapley inconsistency values
+Normal rank
@@ Property / cites work @@
+Measuring Inconsistency through Minimal Proofs
@@ Property / cites work: Measuring Inconsistency through Minimal Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and quantitative approaches to reasoning and uncertainty. European conference, ECSQARU `99. London, GB, July 5-9, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
+Normal rank
@@ Property / cites work @@
+Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
+Normal rank
@@ Property / cites work @@
+Responsibility for inconsistency
@@ Property / cites work: Responsibility for inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+From inconsistency handling to non-canonical requirements management: a logical perspective
+Normal rank
@@ Property / cites work @@
+Measuring the blame of each formula for inconsistent prioritized knowledge bases
+Normal rank
@@ Property / cites work @@
+A syntax-based approach to measuring the degree of inconsistency for belief bases
+Normal rank
@@ Property / cites work @@
+Managing software requirements changes based on negotiation-style revision
+Normal rank
@@ Property / cites work @@
+Approaches to measuring inconsistency for stratified knowledge bases
+Normal rank
@@ Property / cites work @@
+Measuring and repairing inconsistency in probabilistic knowledge bases
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817870
@@ Property / cites work: Q5817870 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressivity of inconsistency measures
@@ Property / cites work: On the expressivity of inconsistency measures / rank @@
+Normal rank