Bezerra, E., 		Viana, L., 		Chagas, V., 		Rolim, D., 		Rocha, T., & 		Cavalcante, C.
(2025).
 Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI.
In <em>Anais da XXXV Brazilian Conference on Intelligent Systems</em>, (pp. 453-463). Porto Alegre: SBC.