A Tractable Paraconsistent Fuzzy Description Logic. - Henrique Viana; Thiago Alves Rocha; João F. L. Alcântara; Ana Teresa C. Martins (URSW, 2010)

A Description Logic for InferenceNet.Br. - Wellington Franco; Thiago Alves Rocha; Henrique Viana; João F. L. Alcântara (PROPOR, 2012)

Merging Argumentation Systems. - Lucas Leite; Thiago Alves Rocha; João F. L. Alcântara (BRACIS, 2015)

Synthesis of a DNF Formula From a Sample of Strings. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (BRACIS, 2018)

On Finding a First-Order Sentence Consistent with a Sample of Strings. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (GandALF, 2018)

On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (LSFA, 2018)

Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings. - Thiago Alves Rocha; Ana Teresa C. Martins (BRACIS, 2019)

Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (Theor. Comput. Sci., 2020)

Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT. - Thiago Alves Rocha; Ana Teresa C. Martins; Francicleber Martins Ferreira (Theor. Comput. Sci., 2020)

A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. - Bruno Menezes; Ana Teresa C. Martins; Thiago Alves Rocha (SBMF, 2021)

An Incremental MaxSAT-Based Model to Learn Interpretable and Balanced Classification Rules. - Antônio Carlos Souza Ferreira Júnior; Thiago Alves Rocha (BRACIS (1), 2023)

Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option. - Francisco Mateus Rocha; Thiago Alves Rocha; Reginaldo Pereira Fernandes Ribeiro; Ajalmar Rêgo da Rocha Neto (BRACIS (1), 2023)

Comparing Neural Network Encodings for Logic-Based Explainability. - Levi Cordeiro Carvalho; Saulo A. F. Oliveira; Thiago Alves Rocha (BRACIS (1), 2024)

A New Training Algorithm for Support Vector Machines. - Acélio Sousa; Thiago Alves Rocha; Ajalmar Rêgo da Rocha Neto (HAIS (1), 2024)

An incremental MaxSAT-based model to learn balanced rules. - Antônio Carlos Souza Ferreira Júnior; Thiago Alves Rocha (CoRR, 2024)

Generalizing logic-based explanations for machine learning classifiers via optimization. - Francisco Mateus Rocha Filho; Ajalmar Rêgo da Rocha Neto; Thiago Alves Rocha (Expert Syst. Appl., 2025)