Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP

DOI10.1613/JAIR.1.11720zbMATH Open1430.68336OpenAlexW2974634207MaRDI QIDQ5235471

Kedian Mu

Publication date: 11 October 2019

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.11720

Mathematics Subject Classification ID

Knowledge representation (68T30) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Cited In (4)

• Counting minimal unsatisfiable subsets
• Semantic inconsistency measures using 3-valued logics
• Hashing-based approximate counting of minimal unsatisfiable subsets
• Handling and measuring inconsistency in non-monotonic logics

This page was built for publication: Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP

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