Measuring Inconsistency through Minimal Proofs

DOI10.1007/978-3-642-39091-3_25zbMath1352.68228OpenAlexW126303890MaRDI QIDQ5326427

Badran Raddaoui, Saïd Jabbour

Publication date: 5 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39091-3_25

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Classical propositional logic (03B05)

Related Items (10)

Measuring inconsistency with constraints for propositional knowledge bases ⋮ Localising iceberg inconsistencies ⋮ Measuring inconsistency with many-valued logics ⋮ Analysing inconsistent information using distance-based measures ⋮ Quantifying conflicts in propositional logic through prime implicates ⋮ Using inconsistency measures for estimating reliability ⋮ Responsibility for inconsistency ⋮ Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases ⋮ On the measure of conflicts: an argumentation-based framework ⋮ On the expressivity of inconsistency measures

This page was built for publication: Measuring Inconsistency through Minimal Proofs