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

DOI10.1613/jair.1.11720zbMath1430.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

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

Related Items (3)

Counting minimal unsatisfiable subsets ⋮ Semantic inconsistency measures using 3-valued logics ⋮ 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