Measuring inconsistency with constraints for propositional knowledge bases
From MaRDI portal
Publication:1647509
DOI10.1016/J.ARTINT.2018.02.003zbMATH Open1445.68212OpenAlexW2790943123WikidataQ130166800 ScholiaQ130166800MaRDI 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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algorithms for computing minimal unsatisfiable subsets of constraints
- On the expressivity of inconsistency measures
- Revisiting Postulates for Inconsistency Measures
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Measuring Inconsistency through Minimal Proofs
- On the measure of conflicts: Shapley inconsistency values
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- A theory of diagnosis from first principles
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Measuring and repairing inconsistency in probabilistic knowledge bases
- Merging Information Under Constraints: A Logical Framework
- Measuring the blame of each formula for inconsistent prioritized knowledge bases
- MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
- Managing software requirements changes based on negotiation-style revision
- Approaches to measuring inconsistency for stratified knowledge bases
- From inconsistency handling to non-canonical requirements management: a logical perspective
- What causes a system to satisfy a specification?
- Responsibility for inconsistency
- Symbolic and quantitative approaches to reasoning and uncertainty. European conference, ECSQARU `99. London, GB, July 5-9, 1999. Proceedings
Cited In (9)
- Title not available (Why is that?)
- The degree of conflict between formulas in an inconsistent knowledge base
- Intrinsic approaches to prioritizing diagnoses in multi-context systems
- Title not available (Why is that?)
- On measuring inconsistency in definite and indefinite databases with denial constraints
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
- Handling and measuring inconsistency in non-monotonic logics
- Detecting inconsistencies in large first-order knowledge bases
- A Measure of Inconsistency for Simple Decision Systems over Ontological Graphs
This page was built for publication: Measuring inconsistency with constraints for propositional knowledge bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1647509)
