Measuring Inconsistency through Minimal Proofs

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

Badran Raddaoui, Said 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

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

Cited In (10)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326427)