Measuring inconsistency with constraints for propositional knowledge bases
type: Item
instance of: scholarly article
title: Measuring inconsistency with constraints for propositional knowledge bases
zbMATH Open document ID: 1445.68212
author: Kedian Mu
published in: Artificial Intelligence
publication date: 2018-06-26T00:00:00Z
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 6894613
zbMATH Keywords: inconsistency
zbMATH Keywords: constraints
zbMATH Keywords: causality
zbMATH Keywords: bipartite graph
MaRDI profile type: Publication
full work available at URL: j.artint.2018.02.003
OpenAlex ID: W2790943123
cites work: Revisiting Postulates for Inconsistency Measures
cites work: Q5715677
cites work: What causes a system to satisfy a specification?
cites work: Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
cites work: Causes and Explanations: A Structural-Model Approach. Part I: Causes
cites work: On the measure of conflicts: Shapley inconsistency values
cites work: Measuring Inconsistency through Minimal Proofs
cites work: Symbolic and quantitative approaches to reasoning and uncertainty. European conference, ECSQARU `99. London, GB, July 5-9, 1999. Proceedings
cites work: Merging Information Under Constraints: A Logical Framework
cites work: Algorithms for computing minimal unsatisfiable subsets of constraints
cites work: MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
cites work: Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
cites work: Responsibility for inconsistency
cites work: From inconsistency handling to non-canonical requirements management: a logical perspective
cites work: Measuring the blame of each formula for inconsistent prioritized knowledge bases
cites work: A syntax-based approach to measuring the degree of inconsistency for belief bases
cites work: Managing software requirements changes based on negotiation-style revision
cites work: Approaches to measuring inconsistency for stratified knowledge bases
cites work: Measuring and repairing inconsistency in probabilistic knowledge bases
cites work: A theory of diagnosis from first principles
cites work: Q5817870
cites work: On the expressivity of inconsistency measures
DOI: 10.1016/J.ARTINT.2018.02.003
Wikidata QID: Q130166800
description: scientific article; zbMATH DE number 6894613