Stream-based inconsistency measurement
From MaRDI portal
Publication:895515
DOI10.1016/j.ijar.2015.11.001zbMath1346.68189OpenAlexW2151720116MaRDI QIDQ895515
Publication date: 3 December 2015
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2015.11.001
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Approximation algorithms (68W25)
Related Items
Measuring inconsistency with many-valued logics, Using inconsistency measures for estimating reliability, A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure, Inconsistency Measurement, Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases, On the measure of conflicts: an argumentation-based framework, On the complexity of inconsistency measurement, General information spaces: measuring inconsistency, rationality postulates, and complexity, Paraconsistent inference relations induced from inconsistency measures, Forgetting-Based Inconsistency Measure, On the expressivity of inconsistency measures
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inconsistency measures for probabilistic logics
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- On the measure of conflicts: Shapley inconsistency values
- Measuring and repairing inconsistency in probabilistic knowledge bases
- A syntax-based approach to measuring the degree of inconsistency for belief bases
- Measures of inconsistency and defaults
- The logic of paradox
- Measuring inconsistency
- Approaches to measuring inconsistency for stratified knowledge bases
- Analysing inconsistent first-order knowledgebases
- Revisiting Postulates for Inconsistency Measures
- Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
- Enumerating Infeasibility: Finding Multiple MUSes Quickly
- Distance-Based Measures of Inconsistency
- Inconsistency Tolerance
- The complexity of theorem-proving procedures
- Theory and Applications of Satisfiability Testing
