Bezerra, Emannuel, 		Viana, Luiz, 		Chagas, Vinícius, 		Rolim, Diogo, 		Rocha, Thiago, E 		Cavalcante, Carlos.
" Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI" <em>Anais da Brazilian Conference on Intelligent Systems (BRACIS)</em> [Online], (29 setembro 2025)