Measuring inconsistency with constraints for propositional knowledge bases
From MaRDI portal
Publication:1647509
DOI10.1016/j.artint.2018.02.003zbMath1445.68212OpenAlexW2790943123MaRDI QIDQ1647509
Publication date: 26 June 2018
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2018.02.003
Related Items (4)
The degree of conflict between formulas in an inconsistent knowledge base ⋮ On measuring inconsistency in definite and indefinite databases with denial constraints ⋮ Handling and measuring inconsistency in non-monotonic logics ⋮ Intrinsic approaches to prioritizing diagnoses in multi-context systems
Cites Work
- Unnamed Item
- Unnamed Item
- On the expressivity of inconsistency measures
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- On the measure of conflicts: Shapley inconsistency values
- Measuring and repairing inconsistency in probabilistic knowledge bases
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- Responsibility for inconsistency
- A theory of diagnosis from first principles
- Symbolic and quantitative approaches to reasoning and uncertainty. European conference, ECSQARU `99. London, GB, July 5-9, 1999. Proceedings
- Approaches to measuring inconsistency for stratified knowledge bases
- From inconsistency handling to non-canonical requirements management: a logical perspective
- Managing software requirements changes based on negotiation-style revision
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Measuring the blame of each formula for inconsistent prioritized knowledge bases
- Revisiting Postulates for Inconsistency Measures
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
- Merging Information Under Constraints: A Logical Framework
- What causes a system to satisfy a specification?
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Measuring Inconsistency through Minimal Proofs
This page was built for publication: Measuring inconsistency with constraints for propositional knowledge bases
