Thiago Alves Rocha

28 papers B 1Journal 12Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks.
CoRR
Ronaldo Gomes, Jairo Ribeiro, Luiz Queiroz, Thiago Alves Rocha
2026 J jnl
Concisely Explaining the Doubt: Minimum-Size Abductive Explanations for Linear Models with a Reject Option.
CoRR
Gleilson Pedro Fernandes, Thiago Alves Rocha
2026 J jnl
Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI.
CoRR
Emannuel L. de A. Bezerra, Luiz H. T. Viana, Vinícius P. Chagas, Diogo E. Rolim, Thiago Alves Rocha, Carlos H. L. Cavalcante
2026 J jnl
Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization.
CoRR
Francisco Mateus Rocha Filho, Ajalmar Rêgo da Rocha Neto, Thiago Alves Rocha
2026 J jnl
Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy.
CoRR
Vinícius P. Chagas, Luiz H. T. Viana, Mac M. da S. Carlos, João P. V. Madeiro, Roberto C. Pedrosa, Thiago Alves Rocha, Carlos H. L. Cavalcante
2026 J jnl
Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing.
CoRR
Luiz Fernando Paulino Queiroz, Carlos H. L. Cavalcante, Thiago Alves Rocha
2025 B conf
Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks.
IJCNN
Ronaldo Gomes, Jairo Ribeiro, Luiz Queiroz, Thiago Alves Rocha
2025 J jnl
Comparing Neural Network Encodings for Logic-based Explainability.
CoRR
Levi Cordeiro Carvalho, Saulo A. F. Oliveira, Thiago Alves Rocha
2025 — conf
Enhancing Framingham Cardiovascular Risk Score Transparency Through Logic-Based XAI.
BRACIS (1)
Emannuel L. de A. Bezerra, Luiz H. T. Viana, Vinícius P. Chagas, Diogo E. Rolim, Thiago Alves Rocha, Carlos H. L. Cavalcante
2025 J jnl
Generalizing logic-based explanations for machine learning classifiers via optimization.
Expert Syst. Appl.
Francisco Mateus Rocha Filho, Ajalmar Rêgo da Rocha Neto, Thiago Alves Rocha
2025 — conf
Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy.
BRACIS (2)
Vinícius P. Chagas, Luiz H. T. Viana, Mac M. da S. Carlos, João P. V. Madeiro, Roberto C. Pedrosa, Thiago Alves Rocha, Carlos H. L. Cavalcante
2025 — conf
Slice and Explain: Logic-Based Explanations for Neural Networks Through Domain Slicing.
BRACIS (2)
Luiz Fernando Paulino Queiroz, Carlos H. L. Cavalcante, Thiago Alves Rocha
2024 — conf
A New Training Algorithm for Support Vector Machines.
HAIS (1)
Acélio Sousa, Thiago Alves Rocha, Ajalmar Rêgo da Rocha Neto
2024 J jnl
An incremental MaxSAT-based model to learn balanced rules.
CoRR
Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha
2024 — conf
Comparing Neural Network Encodings for Logic-Based Explainability.
BRACIS (1)
Levi Cordeiro Carvalho, Saulo A. F. Oliveira, Thiago Alves Rocha
2024 J jnl
Logic-based Explanations for Linear Support Vector Classifiers with Reject Option.
CoRR
Francisco Mateus Rocha Filho, Thiago Alves Rocha, Reginaldo Pereira Fernandes Ribeiro, Ajalmar Rêgo da Rocha Neto
2023 — conf
An Incremental MaxSAT-Based Model to Learn Interpretable and Balanced Classification Rules.
BRACIS (1)
Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha
2023 — conf
Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option.
BRACIS (1)
Francisco Mateus Rocha, Thiago Alves Rocha, Reginaldo Pereira Fernandes Ribeiro, Ajalmar Rêgo da Rocha Neto
2021 — conf
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking.
SBMF
Bruno Menezes, Ana Teresa C. Martins, Thiago Alves Rocha
2020 J jnl
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games.
Theor. Comput. Sci.
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
2020 J jnl
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT.
Theor. Comput. Sci.
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
2019 — conf
Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings.
BRACIS
Thiago Alves Rocha, Ana Teresa C. Martins
2018 — conf
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank.
LSFA
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
2018 — conf
On Finding a First-Order Sentence Consistent with a Sample of Strings.
GandALF
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
2018 — conf
Synthesis of a DNF Formula From a Sample of Strings.
BRACIS
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
2015 — conf
Merging Argumentation Systems.
BRACIS
Lucas Leite, Thiago Alves Rocha, João F. L. Alcântara
2012 — conf
A Description Logic for InferenceNet.Br.
PROPOR
Wellington Franco, Thiago Alves Rocha, Henrique Viana, João F. L. Alcântara
2010 — conf
A Tractable Paraconsistent Fuzzy Description Logic.
URSW
Henrique Viana, Thiago Alves Rocha, João F. L. Alcântara, Ana Teresa C. Martins