scientific article; zbMATH DE number 6902558
From MaRDI portal
Publication:4576231
Recommendations
- Approaches to measuring inconsistency for stratified knowledge bases
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics
- Measuring and repairing inconsistency in probabilistic knowledge bases
- Measuring inconsistency with constraints for propositional knowledge bases
- Detecting inconsistencies in large first-order knowledge bases
- Analysing inconsistent first-order knowledgebases
Cited in
(19)- Distance-based measures of inconsistency
- Measuring inconsistency through minimal proofs
- On the complexity of inconsistency measurement
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Measuring inconsistency through subformula forgetting
- Inconsistency measuring over multisets of formulas
- On measuring inconsistency using maximal consistent sets
- Inconsistency measurement based on variables in minimal unsatisfiable subsets
- Computing MUS-based inconsistency measures
- Computing inconsistency measure based on paraconsistent semantics
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- Strong inconsistency
- Approaches to measuring inconsistency for stratified knowledge bases
- Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
- Analysing inconsistent information using distance-based measures
- Quantifying conflicts in propositional logic through prime implicates
- A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems
- Handling and measuring inconsistency in non-monotonic logics
- Measuring inconsistency with many-valued logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4576231)
