João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves 0001, João Leite 0001. Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer 0002, editors, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022. 2022. [doi]
Abstract is missing.