On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI (Extended Abstract)

Darwiche and Marquis. "On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/797

[Darwiche and Marquis. "On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/darwiche2022ijcai-quantifying/) doi:10.24963/IJCAI.2022/797

@inproceedings{darwiche2022ijcai-quantifying,
  title     = {{On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI (Extended Abstract)}},
  author    = {Darwiche, Adnan and Marquis, Pierre},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {5718-5721},
  doi       = {10.24963/IJCAI.2022/797},
  url       = {https://mlanthology.org/ijcai/2022/darwiche2022ijcai-quantifying/}
}