Adnan Darwiche, Pierre Marquis. On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. J. Artif. Intell. Res. (JAIR), 72:285-328, 2021. [doi]
@article{DarwicheM21,
title = {On Quantifying Literals in Boolean Logic and its Applications to Explainable AI},
author = {Adnan Darwiche and Pierre Marquis},
year = {2021},
doi = {10.1613/jair.1.12756},
url = {https://doi.org/10.1613/jair.1.12756},
researchr = {https://researchr.org/publication/DarwicheM21},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {72},
pages = {285-328},
}