Thiago Alves Rocha

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 11

Top Topics

Quantifier Elimination

Boolean Formula

Top Venues

Theor. Comput. Sci.

Publications

Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha
An incremental MaxSAT-based model to learn balanced rules. CoRR (2024)
Francisco Mateus Rocha Filho, Thiago Alves Rocha, Reginaldo Pereira Fernandes Ribeiro, Ajalmar Rêgo da Rocha Neto
Logic-based Explanations for Linear Support Vector Classifiers with Reject Option. CoRR (2024)
Francisco Mateus Rocha, Thiago Alves Rocha, Reginaldo Pereira Fernandes Ribeiro, Ajalmar Rêgo da Rocha Neto
Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option. BRACIS (1) (2023)
Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha
An Incremental MaxSAT-Based Model to Learn Interpretable and Balanced Classification Rules. BRACIS (1) (2023)
Bruno Menezes, Ana Teresa C. Martins, Thiago Alves Rocha
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking. SBMF (2021)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games. Theor. Comput. Sci. 805 (2020)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT. Theor. Comput. Sci. 843 (2020)
Thiago Alves Rocha, Ana Teresa C. Martins
Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings. BRACIS (2019)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank. LSFA (2018)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
Synthesis of a DNF Formula From a Sample of Strings. BRACIS (2018)
Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira
On Finding a First-Order Sentence Consistent with a Sample of Strings. GandALF (2018)
Lucas Leite, Thiago Alves Rocha, João F. L. Alcântara
Merging Argumentation Systems. BRACIS (2015)
Wellington Franco, Thiago Alves Rocha, Henrique Viana, João F. L. Alcântara
A Description Logic for InferenceNet.Br. PROPOR (2012)
Henrique Viana, Thiago Alves Rocha, João F. L. Alcântara, Ana Teresa C. Martins
A Tractable Paraconsistent Fuzzy Description Logic. URSW (2010)