Thiago Alves Rocha

According to our database, Thiago Alves Rocha authored at least 14 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

An incremental MaxSAT-based model to learn balanced rules.

Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha

CoRR, 2024

A New Training Algorithm for Support Vector Machines.

Acélio Sousa, Thiago Alves Rocha, Ajalmar Rêgo da Rocha Neto

Proceedings of the Hybrid Artificial Intelligent Systems - 19th International Conference, 2024

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

Proceedings of the Intelligent Systems - 12th Brazilian Conference, 2023

An Incremental MaxSAT-Based Model to Learn Interpretable and Balanced Classification Rules.

Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha

Proceedings of the Intelligent Systems - 12th Brazilian Conference, 2023

2021

A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking.

Bruno Menezes, Ana Teresa C. Martins, Thiago Alves Rocha

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

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

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

2019

Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings.

Thiago Alves Rocha, Ana Teresa C. Martins

Proceedings of the 8th Brazilian Conference on Intelligent Systems, 2019

2018

On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank.

Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

On Finding a First-Order Sentence Consistent with a Sample of Strings.

Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Synthesis of a DNF Formula From a Sample of Strings.

Thiago Alves Rocha, Ana Teresa C. Martins, Francicleber Martins Ferreira

Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2015

Merging Argumentation Systems.

Lucas Leite, Thiago Alves Rocha, João F. L. Alcântara

Proceedings of the 2015 Brazilian Conference on Intelligent Systems, 2015

2012

A Description Logic for InferenceNet.Br.

Wellington Franco, Thiago Alves Rocha, Henrique Viana, João F. L. Alcântara

Proceedings of the Computational Processing of the Portuguese Language, 2012

2010

A Tractable Paraconsistent Fuzzy Description Logic.

Henrique Viana, Thiago Alves Rocha, João F. L. Alcântara, Ana Teresa C. Martins

Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010