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

Kedian Mu. Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP. J. Artif. Intell. Res. (JAIR), 66:279-296, 2019. [doi]

Abstract

Abstract is missing.