Quantifying conflicts in propositional logic through prime implicates
From MaRDI portal
Publication:1680686
DOI10.1016/J.IJAR.2016.12.017zbMATH Open1419.68145OpenAlexW2569984386MaRDI QIDQ1680686FDOQ1680686
Authors: Yue Ma, Badran Raddaoui, Said Jabbour, Lakhdar Sais 
Publication date: 16 November 2017
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2016.12.017
Recommendations
knowledge representationpropositional logicprime implicatesconflicting variablesinconsistency measure
Cites Work
- Measuring inconsistency
- Analysing inconsistent first-order knowledgebases
- Computing inconsistency measure based on paraconsistent semantics
- On measuring inconsistency using maximal consistent sets
- Inconsistency measurement based on variables in minimal unsatisfiable subsets
- Inconsistency measures for probabilistic logics
- Distance-based measures of inconsistency
- Measuring inconsistency through minimal proofs
- Inconsistency Tolerance
- On the measure of conflicts: Shapley inconsistency values
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- Measures of inconsistency and defaults
- A theory of diagnosis from first principles
- The value of the four values
- Title not available (Why is that?)
- Measuring and repairing inconsistency in probabilistic knowledge bases
- Classifications for inconsistent theories
- Measuring the blame of each formula for inconsistent prioritized knowledge bases
- MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
- Responsibility for inconsistency
- Measuring coherence using LP-models
- How Dirty Is Your Relational Database? An Axiomatic Approach
Cited In (8)
- Computing prime implicants via transversal clauses
- The selection of feasible strategies based on consistency measurement of cliques
- On the complexity of inconsistency measurement
- On the measure of conflicts: an argumentation-based framework
- General information spaces: measuring inconsistency, rationality postulates, and complexity
- Three-way conflict analysis based on alliance and conflict functions
- Semantic relevance
- An efficient conflict analysis method based on splitting and merging of formal contexts
This page was built for publication: Quantifying conflicts in propositional logic through prime implicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1680686)
