Quantifying conflicts in propositional logic through prime implicates (Q1680686): Difference between revisions

@@ Property / author @@
-Saïd Jabbour
@@ Property / author: Saïd Jabbour / rank @@
-Normal rank
@@ Property / author @@
-Lakhdar Saïs
@@ Property / author: Lakhdar Saïs / rank @@
-Normal rank
@@ Property / author @@
+Saïd Jabbour
@@ Property / author: Saïd Jabbour / rank @@
+Normal rank
@@ Property / author @@
+Lakhdar Saïs
@@ Property / author: Lakhdar Saïs / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ijar.2016.12.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2569984386
@@ Property / OpenAlex ID: W2569984386 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency Tolerance
@@ Property / cites work: Inconsistency Tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Classifications for inconsistent theories
@@ Property / cites work: Classifications for inconsistent theories / rank @@
+Normal rank
@@ Property / cites work @@
+How Dirty Is Your Relational Database? An Axiomatic Approach
+Normal rank
@@ Property / cites work @@
+Distance-Based Measures of Inconsistency
@@ Property / cites work: Distance-Based Measures of Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
+Normal rank
@@ Property / cites work @@
+Measuring coherence using LP-models
@@ Property / cites work: Measuring coherence using LP-models / rank @@
+Normal rank
@@ Property / cites work @@
+Analysing inconsistent first-order knowledgebases
@@ Property / cites work: Analysing inconsistent first-order knowledgebases / rank @@
+Normal rank
@@ Property / cites work @@
+Computing inconsistency measure based on paraconsistent semantics
+Normal rank
@@ Property / cites work @@
+Q3455621
@@ Property / cites work: Q3455621 / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring Inconsistency through Minimal Proofs
@@ Property / cites work: Measuring Inconsistency through Minimal Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring the blame of each formula for inconsistent prioritized knowledge bases
+Normal rank
@@ Property / cites work @@
+On the measure of conflicts: Shapley inconsistency values
+Normal rank
@@ Property / cites work @@
+A syntax-based approach to measuring the degree of inconsistency for belief bases
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+Responsibility for inconsistency
@@ Property / cites work: Responsibility for inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Measuring inconsistency
@@ Property / cites work: Measuring inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Measures of inconsistency and defaults
@@ Property / cites work: Measures of inconsistency and defaults / rank @@
+Normal rank
@@ Property / cites work @@
+On Measuring Inconsistency Using Maximal Consistent Sets
+Normal rank
@@ Property / cites work @@
+Measuring and repairing inconsistency in probabilistic knowledge bases
+Normal rank
@@ Property / cites work @@
+Inconsistency measures for probabilistic logics
@@ Property / cites work: Inconsistency measures for probabilistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789893
@@ Property / cites work: Q4789893 / rank @@
+Normal rank