239 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Universidade Federal do CearáBR40 papers
- Universidade Estadual do CearáBR10 papers
- Universidade Federal da ParaíbaBR6 papers
- Universidade Federal do CaririBR6 papers
- Universidade de São PauloBR5 papers
- Centro Brasileiro de Pesquisas FísicasBR4 papers
- Universidade Federal do Rio Grande do NorteBR4 papers
- Universidade de FortalezaBR3 papers
- University of LisbonPT3 papers
- Centro de Física Teórica e Computacional2 papers
- Complexity Science HubAT2 papers
- Instituto de Física de São CarlosBR2 papers
7 papers · 1 filter
Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
Ronaldo Gomes, Jairo Ribeiro, Luiz Queiroz +1
Logic-based methods for explaining neural network decisions offer formal guarantees of correctness and non-redundancy, but they often suffer from high computational costs, especial…
Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
Francisco Mateus Rocha Filho, Ajalmar Rêgo da Rocha Neto, Thiago Alves Rocha
Machine learning models support decision-making, yet the reasons behind their predictions are opaque. Clear and reliable explanations help users make informed decisions and avoid b…
Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
Emannuel L. de A. Bezerra, Luiz H. T. Viana, Vinícius P. Chagas +3
Cardiovascular disease (CVD) remains one of the leading global health challenges, accounting for more than 19 million deaths worldwide. To address this, several tools that aim to p…
Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
Luiz Fernando Paulino Queiroz, Carlos Henrique Leitão Cavalcante, Thiago Alves Rocha
Neural networks (NNs) are pervasive across various domains but often lack interpretability. To address the growing need for explanations, logic-based approaches have been proposed…
Comparing Neural Network Encodings for Logic-based Explainability
Levi Cordeiro Carvalho, Saulo A. F. Oliveira, Thiago Alves Rocha
Providing explanations for the outputs of artificial neural networks (ANNs) is crucial in many contexts, such as critical systems, data protection laws and handling adversarial exa…
Residuated implications derived from quasi-overlap functions on lattices
Rui Paiva, Benjamín Bedregal, Regivan Santiago
In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized th…
On Finding a First-Order Sentence Consistent with a Sample of Strings
Thiago Alves Rocha, Ana Teresa Martins, Francicleber Martins Ferreira
We investigate the following problem: given a sample of classified strings, find a first-order sentence of minimal quantifier rank that is consistent with the sample. We represent…