TY - RPRT TI - Logic-Based Explainability in Machine Learning AU - Joao Marques-Silva PY - 2023 UR - https://arxiv.org/abs/2211.00541 ID - 2211.00541 ER -