Huang, X., Izza, Y., & Marques-Silva, J. (2023). Solving Explainability Queries with Quantification: The Case of Feature Relevancy. Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), 3996-4006. https://doi.org/10.1609/aaai.v37i4.25514