@inproceedings{ijcai2020p713, title = {Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract)}, author = {Mu, Kedian}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI-20}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Christian Bessiere}, pages = {5090--5094}, year = {2020}, month = {7}, note = {Journal track}, doi = {10.24963/ijcai.2020/713}, url = {https://doi.org/10.24963/ijcai.2020/713}, }