TY - RPRT TI - Logic for Explainable AI AU - Adnan Darwiche PY - 2023 UR - https://arxiv.org/abs/2305.05172 ID - 2305.05172 ER -