Stream-based inconsistency measurement (Q895515): 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 @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Measures of inconsistency and defaults
@@ Property / cites work: Measures of inconsistency and defaults / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing inconsistent first-order knowledgebases
@@ Property / cites work: Analysing inconsistent first-order knowledgebases / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
+Normal rank
@@ Property / cites work @@
+Distance-Based Measures of Inconsistency
@@ Property / cites work: Distance-Based Measures of Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency Tolerance
@@ Property / cites work: Inconsistency Tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+On the measure of conflicts: Shapley inconsistency values
+Normal rank
@@ Property / cites work @@
+Measuring inconsistency
@@ Property / cites work: Measuring inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992822
@@ Property / cites work: Q3992822 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating Infeasibility: Finding Multiple MUSes Quickly
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
+Normal rank
@@ Property / cites work @@
+Q5715109
@@ Property / cites work: Q5715109 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational approaches to finding and measuring inconsistency in arbitrary 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 @@
+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 @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency measures for probabilistic logics
@@ Property / cites work: Inconsistency measures for probabilistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283049
@@ Property / cites work: Q5283049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3455621
@@ Property / cites work: Q3455621 / rank @@
+Normal rank