E. Bezerra, L. Viana, V. Chagas, D. Rolim, T. Rocha, and C. Cavalcante.
" Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI", in <em>Anais da XXXV Brazilian Conference on Intelligent Systems</em>, Fortaleza/CE, 2025, pp. 453-463.