Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI. - Emannuel L. de A. Bezerra; Luiz H. T. Viana; Vinícius P. Chagas; Diogo E. Rolim; Thiago Alves Rocha; Carlos H. L. Cavalcante (BRACIS (1), 2025)