Measuring inconsistency through subformula forgetting

DOI10.1007/978-3-030-35514-2_14MaRDI QIDQ3297808zbMATH OpenOpenAlexFDO

Authors Yakoub Salhi

Publication date 20 July 2020

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

Full work available at URL https://doi.org/10.1007/978-3-030-35514-2_14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Forgetting-Based Inconsistency Measure
• Measuring inconsistency through minimal proofs
• Relative inconsistency measures
• Reasoning under inconsistency: a forgetting-based approach
• Publication:4576231

Cites work

• Distance-based measures of inconsistency
• Forgetting-Based Inconsistency Measure
• How Dirty Is Your Relational Database? An Axiomatic Approach
• On the expressivity of inconsistency measures
• On the measure of conflicts: Shapley inconsistency values
• Reasoning under inconsistency: a forgetting-based approach
• Revisiting postulates for inconsistency measures

Cited in

(3)

• Formulas free from inconsistency: an atom-centric characterization in Priest's minimally inconsistent LP
• Forgetting-Based Inconsistency Measure
• Reasoning under inconsistency: a forgetting-based approach

This page was built for publication: Measuring inconsistency through subformula forgetting

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