Quantifying conflicts in propositional logic through prime implicates
type: Item
instance of: scholarly article
title: Quantifying conflicts in propositional logic through prime implicates
zbMATH Open document ID: 1419.68145
author: Yue Ma
author: Badran Raddaoui
author: Said Jabbour
author: Lakhdar Sais
published in: International Journal of Approximate Reasoning
publication date: 2017-11-16T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6807706
zbMATH Keywords: knowledge representation
zbMATH Keywords: inconsistency measure
zbMATH Keywords: propositional logic
zbMATH Keywords: conflicting variables
zbMATH Keywords: prime implicates
MaRDI profile type: Publication
full work available at URL: j.ijar.2016.12.017
OpenAlex ID: W2569984386
cites work: Inconsistency Tolerance
cites work: Classifications for inconsistent theories
cites work: How Dirty Is Your Relational Database? An Axiomatic Approach
cites work: Distance-Based Measures of Inconsistency
cites work: MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
cites work: Measuring coherence using LP-models
cites work: Analysing inconsistent first-order knowledgebases
cites work: Computing inconsistency measure based on paraconsistent semantics
cites work: Q3455621
cites work: Measuring Inconsistency through Minimal Proofs
cites work: Measuring the blame of each formula for inconsistent prioritized knowledge bases
cites work: On the measure of conflicts: Shapley inconsistency values
cites work: A syntax-based approach to measuring the degree of inconsistency for belief bases
cites work: The value of the four values
cites work: Responsibility for inconsistency
cites work: A theory of diagnosis from first principles
cites work: Measuring inconsistency
cites work: Measures of inconsistency and defaults
cites work: On Measuring Inconsistency Using Maximal Consistent Sets
cites work: Measuring and repairing inconsistency in probabilistic knowledge bases
cites work: Inconsistency measures for probabilistic logics
cites work: Q4789893
DOI: 10.1016/J.IJAR.2016.12.017
description: scientific article; zbMATH DE number 6807706