On the complexity of inconsistency measurement (Q2321337): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Measuring Disagreement in Argumentation Graphs
@@ Property / cites work: Measuring Disagreement in Argumentation Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On Measuring Inconsistency Using Maximal Consistent Sets
+Normal rank
@@ Property / cites work @@
+On an MCS-based inconsistency measure
@@ Property / cites work: On an MCS-based inconsistency measure / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Scalar aggregation in inconsistent databases.
@@ Property / cites work: Scalar aggregation in inconsistent databases. / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
+Normal rank
@@ Property / cites work @@
+Forgetting-Based Inconsistency Measure
@@ Property / cites work: Forgetting-Based Inconsistency Measure / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning: From complexity to algorithms
+Normal rank
@@ Property / cites work @@
+Minimal-change integrity maintenance using tuple deletions
+Normal rank
@@ Property / cites work @@
+Q3323698
@@ Property / cites work: Q3323698 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of generalized satisfiability counting problems
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
+Normal rank
@@ Property / cites work @@
+Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
+Normal rank
@@ Property / cites work @@
+Localising iceberg inconsistencies
@@ Property / cites work: Localising iceberg inconsistencies / rank @@
+Normal rank
@@ Property / cites work @@
+Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity
+Normal rank
@@ Property / cites work @@
+Measures of inconsistency and defaults
@@ Property / cites work: Measures of inconsistency and defaults / rank @@
+Normal rank
@@ Property / cites work @@
+Subtractive reductions and complete problems for counting complexity classes
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifications for inconsistent theories
@@ Property / cites work: Classifications for inconsistent theories / 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 @@
+Counting complexity of propositional abduction
@@ Property / cites work: Counting complexity of propositional abduction / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+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 @@
+Quantifying conflicts in propositional logic through prime implicates
+Normal rank
@@ Property / cites work @@
+Q4576231
@@ Property / cites work: Q4576231 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of the maximum satisfiability problem for Horn formulas
+Normal rank
@@ Property / cites work @@
+A Reasoning Platform Based on the MI Shapley Inconsistency Value
+Normal rank
@@ Property / cites work @@
+Reasoning under inconsistency: a forgetting-based approach
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+Belief revision and update: Complexity of model checking
+Normal rank
@@ Property / cites work @@
+Fast, flexible MUS enumeration
@@ Property / cites work: Fast, flexible MUS enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+The QBF Gallery: behind the scenes
@@ Property / cites work: The QBF Gallery: behind the scenes / 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 @@
+Q4583686
@@ Property / cites work: Q4583686 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Reasoning for Inconsistent Horn Formulae
+Normal rank
@@ Property / cites work @@
+On Computing Preferred MUSes and MCSes
@@ Property / cites work: On Computing Preferred MUSes and MCSes / rank @@
+Normal rank
@@ Property / cites work @@
+A dichotomy in the complexity of counting database repairs
+Normal rank
@@ Property / cites work @@
+Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+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 @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / rank @@
+Normal rank
@@ Property / cites work @@
+On repairing and querying inconsistent probabilistic spatio-temporal databases
+Normal rank
@@ Property / cites work @@
+Understanding the complexity of axiom pinpointing in lightweight description logics
+Normal rank
@@ Property / cites work @@
+Hierarchies of polynomially solvable satisfiability problems
+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 @@
+On the expressivity of inconsistency measures
@@ Property / cites work: On the expressivity of inconsistency measures / rank @@
+Normal rank
@@ Property / cites work @@
+Stream-based inconsistency measurement
@@ Property / cites work: Stream-based inconsistency measurement / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring inconsistency with many-valued logics
@@ Property / cites work: Measuring inconsistency with many-valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5226731
@@ Property / cites work: Q5226731 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time 1-Turing reductions from \(\#\)PH to \(\#\)P
+Normal rank
@@ Property / cites work @@
+Measuring Inconsistency in Answer Set Programs
@@ Property / cites work: Measuring Inconsistency in Answer Set Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5226733
@@ Property / cites work: Q5226733 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computing the permanent
@@ Property / cites work: The complexity of computing the permanent / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+The complexity of combinatorial problems with succinct input representation
+Normal rank
@@ Property / cites work @@
+A Survey of the Data Complexity of Consistent Query Answering under Key Constraints
+Normal rank
@@ Property / cites work @@
+Q3455621
@@ Property / cites work: Q3455621 / rank @@
+Normal rank