Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract).

Kedian Mu

Browse the full IJCAI paper archive.