Bezerra, Emannuel, Luiz H. T. Viana, Vinícius P. Chagas, Diogo E. Rolim, Thiago A. Rocha, and Carlos H. L. Cavalcante.
" Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI." <em>Anais da XXXV Brazilian Conference on Intelligent Systems,
Fortaleza/CE, 2025</em>. SBC, 2025,  
pp.453-463.