Bezerra, E., 		Viana, L., 		Chagas, V., 		Rolim, D., 		Rocha, T., & 		Cavalcante, C.
2025 set 29.  Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI. Anais da Brazilian Conference on Intelligent Systems (BRACIS). [Online] :