Cover Image

Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chagas, Vinícius P., Viana, Luiz H. T., Carlos, Mac M. da S., Madeiro, João P. V., Pedrosa, Roberto C., Rocha, Thiago Alves, Cavalcante, Carlos H. L.
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
by: Bezerra, Emannuel L. de A., et al.
Published: (2026)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
by: Queiroz, Luiz Fernando Paulino, et al.
Published: (2026)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
by: Gomes, Ronaldo, et al.
Published: (2026)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
by: Filho, Francisco Mateus Rocha, et al.
Published: (2026)

Relating forcing relations
by: Smykalla, Michel Viana, et al.
Published: (2026)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
by: Filho, Francisco Mateus Rocha, et al.
Published: (2024)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
by: Guasch, Antoni, et al.
Published: (2025)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
by: Júnior, Antônio Carlos Souza Ferreira, et al.
Published: (2024)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
by: Olarte, Carlos, et al.
Published: (2024)

Decomposable shuffles
by: Dias, João, et al.
Published: (2026)

A SAT-centered XAI method for Deep Learning based Video Understanding
by: Key, Hojer
Published: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
by: Carvalho, Levi Cordeiro, et al.
Published: (2025)

On Trustworthy Rule-Based Models and Explanations
by: Siala, Mohamed, et al.
Published: (2025)

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025
by: Nguyen, Long S. T., et al.
Published: (2025)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

Rigorous Explanations for Tree Ensembles
by: Izza, Yacine, et al.
Published: (2026)

Equational and Inductive Reasoning for Maude in Athena
by: Sanabria, Mateo, et al.
Published: (2026)

Metatickles and Death in Damascus
by: Khan, Saira
Published: (2023)

Model Explanation via Support Graphs
by: Cabalar, Pedro, et al.
Published: (2023)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Generic bidirectional typing for dependent type theories
by: Felicissimo, Thiago
Published: (2023)

Circuit Representations of Random Forests with Applications to XAI
by: Ji, Chunxi, et al.
Published: (2026)

Towards Compositional Interpretability for XAI
by: Tull, Sean, et al.
Published: (2024)

Explanations for Unrealizability of Infinite-State Safety Shields
by: Rodriguez, Andoni, et al.
Published: (2025)

Rethinking Explanations: Formalizing Contrast in Description Logics
by: Mahmood, Yasir, et al.
Published: (2026)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
by: Rodrigues, Abilio, et al.
Published: (2026)

Most General Explanations of Tree Ensembles (Extended Version)
by: Izza, Yacine, et al.
Published: (2025)

Some Epistemic Extensions of Gödel Fuzzy Logic
by: Dastgheib, D., et al.
Published: (2016)

Counterfactual Explanations as Plans
by: Belle, Vaishak
Published: (2025)

Diamonds on trees
by: Guzmán, Osvaldo, et al.
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

From translations to non-collapsing logic combinations
by: Rasga, João, et al.
Published: (2025)

Sharing proofs with predicative theories through universe-polymorphic elaboration
by: Felicissimo, Thiago, et al.
Published: (2023)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
by: Eiter, Thomas, et al.
Published: (2026)

Continuous Randomness via Transformations of 2-Random Sequences
by: Porter, Christopher P.
Published: (2024)

A rank function for Fra\"ıssé classes and the rank property
by: López-Callejas, Carlos, et al.
Published: (2026)

Space Explanations of Neural Network Classification
by: Labbaf, Faezeh, et al.
Published: (2025)