@misc{indiciaef4875dbc130c, title = {Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI}, author = {Emannuel L. de A. Bezerra and Luiz H. T. Viana and Vinícius P. Chagas and Diogo E. Rolim and Thiago Alves Rocha and Carlos H. L. Cavalcante}, year = {2026}, doi = {10.1007/978-3-032-15987-8\_30}, url = {https://arxiv.org/abs/2602.22149}, note = {Source identifier: 2602.22149} }