Pages that link to "Item:Q1217107"
From MaRDI portal
The following pages link to Classifications for inconsistent theories (Q1217107):
Displayed 32 items.
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases (Q459042) (← links)
- On the measure of conflicts: Shapley inconsistency values (Q622103) (← links)
- A syntax-based approach to measuring the degree of inconsistency for belief bases (Q648367) (← links)
- Responsibility for inconsistency (Q891774) (← links)
- Introduction to the special issue on theories of inconsistency measures and their applications (Q1680684) (← links)
- Analysing inconsistent information using distance-based measures (Q1680685) (← links)
- Quantifying conflicts in propositional logic through prime implicates (Q1680686) (← links)
- Measuring inconsistency in some logics with modal operators (Q2046878) (← links)
- Measuring inconsistency in some logics with tense operators (Q2080703) (← links)
- Paraconsistent inference relations induced from inconsistency measures (Q2105602) (← links)
- Measuring inconsistency in generalized propositional logic (Q2198316) (← links)
- Relative inconsistency measures (Q2302300) (← links)
- On the complexity of inconsistency measurement (Q2321337) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Approaches to measuring inconsistency for stratified knowledge bases (Q2353972) (← links)
- On an MCS-based inconsistency measure (Q2374545) (← links)
- Analysing inconsistent first-order knowledgebases (Q2389648) (← links)
- Localising iceberg inconsistencies (Q2407883) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic (Q2893284) (← links)
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution (Q3011958) (← links)
- Inconsistency Measurement (Q3297796) (← links)
- On Measuring Inconsistency Using Maximal Consistent Sets (Q3451184) (← links)
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics (Q3524915) (← links)
- An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics (Q3524921) (← links)
- How Dirty Is Your Relational Database? An Axiomatic Approach (Q3524922) (← links)
- On the measure of conflicts: an argumentation-based framework (Q4685531) (← links)
- Measuring inconsistency in some branching time logics (Q5156185) (← links)
- Measuring inconsistency in generalized propositional logic extended with nonunary operators (Q6054111) (← links)
- Postulate satisfaction for inconsistency measures in monotonic logics and databases (Q6080577) (← links)
- Semantic inconsistency measures using 3-valued logics (Q6114029) (← links)
- On measuring inconsistency in definite and indefinite databases with denial constraints (Q6161468) (← links)
- A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure (Q6163915) (← links)