BEZERRA, Emannuel L. de A.; 						VIANA, Luiz H. T.; 						CHAGAS, Vinícius P.; 						ROLIM, Diogo E.; 						ROCHA, Thiago A.; 						CAVALCANTE, Carlos H. L..
 Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI. <em>In</em>: BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 35.	, 2025, Fortaleza/CE.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2025
.
 p. 453-463. 
			ISSN 2643-6264.