Emannuel Bezerra, Luiz Viana, Vinícius Chagas, Diogo Rolim, Thiago Rocha, and Carlos Cavalcante. 2025.
 Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI. In <em>Anais da XXXV Brazilian Conference on Intelligent Systems</em>, setembro 29, 2025, Fortaleza/CE, Brasil. SBC, Porto Alegre, Brasil, 453-463.