On the complexity of inconsistency measurement
From MaRDI portal
Publication:2321337
Recommendations
- On the evaluation of inconsistency measures
- On the expressivity of inconsistency measures
- On measuring inconsistency using maximal consistent sets
- Measuring inconsistency
- Inconsistency measurement based on variables in minimal unsatisfiable subsets
- Inconsistency measurement
- On an MCS-based inconsistency measure
Cites work
- scientific article; zbMATH DE number 3854804 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 718142 (Why is no real title available?)
- scientific article; zbMATH DE number 6902558 (Why is no real title available?)
- scientific article; zbMATH DE number 5493266 (Why is no real title available?)
- scientific article; zbMATH DE number 2239772 (Why is no real title available?)
- A dichotomy in the complexity of counting database repairs
- A reasoning platform based on the MI Shapley inconsistency value
- A survey of the data complexity of consistent query answering under key constraints
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
- Analysing inconsistent first-order knowledgebases
- Approaches to measuring inconsistency for stratified knowledge bases
- Belief revision and update: Complexity of model checking
- Classifications for inconsistent theories
- Complexity of generalized satisfiability counting problems
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Computing minimally unsatisfiable subformulas: state of the art and future directions
- Counting complexity of propositional abduction
- Distance-based measures of inconsistency
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- Efficient reasoning for inconsistent Horn formulae
- Fast, flexible MUS enumeration
- Forgetting-Based Inconsistency Measure
- Hierarchies of polynomially solvable satisfiability problems
- Inconsistency Tolerance
- Inconsistency measurement based on variables in minimal unsatisfiable subsets
- Inconsistency measures for disjunctive logic programs under answer set semantics
- Inconsistency measures for probabilistic logics
- Iterative and core-guided maxsat solving: a survey and assessment
- Localising iceberg inconsistencies
- Measure-based inconsistency-tolerant maintenance of database integrity
- Measures of inconsistency and defaults
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
- Measuring disagreement in argumentation graphs
- Measuring inconsistency in answer set programs
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Measuring inconsistency with many-valued logics
- Minimal-change integrity maintenance using tuple deletions
- Nonmonotonic reasoning: From complexity to algorithms
- On an MCS-based inconsistency measure
- On computing preferred MUSes and MCSes
- On measuring inconsistency using maximal consistent sets
- On repairing and querying inconsistent probabilistic spatio-temporal databases
- On sentences which are true of direct unions of algebras
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- On the complexity of the maximum satisfiability problem for Horn formulas
- On the evaluation of inconsistency measures
- On the expressivity of inconsistency measures
- On the logic of theory change: Partial meet contraction and revision functions
- On the measure of conflicts: Shapley inconsistency values
- Polynomial-time 1-Turing reductions from \(\#\)PH to \(\#\)P
- Quantifying conflicts in propositional logic through prime implicates
- Reasoning under inconsistency: a forgetting-based approach
- Redundancy in logic. I: CNF propositional formulae
- SAT-based MaxSAT algorithms
- Scalar aggregation in inconsistent databases.
- Stream-based inconsistency measurement
- Subtractive reductions and complete problems for counting complexity classes
- The Complexity of Enumeration and Reliability Problems
- The QBF Gallery: behind the scenes
- The complexity of combinatorial problems with succinct input representation
- The complexity of computing the permanent
- The complexity of facets resolved
- The complexity of logic-based abduction
- The logic of paradox
- Understanding the complexity of axiom pinpointing in lightweight description logics
Cited in
(34)- Inconsistency measurement
- On the expressivity of inconsistency measures
- On the inconsistency of IQML
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Measuring inconsistency with many-valued logics
- Algorithms for computing the set of acceptable arguments
- Inconsistency Tolerance
- Inconsistency measurement in \(\mathrm{LTL_f}\) based on minimal inconsistent sets and minimal correction sets
- Stream-based inconsistency measurement
- Using inconsistency measures for estimating reliability
- Measuring inconsistency
- A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
- Inconsistency measures for disjunctive logic programs under answer set semantics
- Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
- On the evaluation of inconsistency measures
- Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox
- On measuring inconsistency in graph databases with regular path constraints
- Belief change based on knowledge measures
- Measuring inconsistency in some branching time logics
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Computing inconsistency measure based on paraconsistent semantics
- On measuring inconsistency in definite and indefinite databases with denial constraints
- On quasi-inconsistency and its complexity
- An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
- General information spaces: measuring inconsistency, rationality postulates, and complexity
- A model of three-way decisions for knowledge harnessing
- OuterCount: a first-level solution-counter for quantified Boolean formulas
- Handling and measuring inconsistency in non-monotonic logics
- Measuring inconsistency in generalized propositional logic
- On an MCS-based inconsistency measure
- Measuring inconsistency in argument graphs
- Measuring inconsistency in answer set programs
- Belief reconfiguration
- Computing MUS-based inconsistency measures
This page was built for publication: On the complexity of inconsistency measurement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321337)
