Thiago Alves Rocha

Orcid: 0000-0001-7037-9683

According to our database1, Thiago Alves Rocha authored at least 12 papers between 2010 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Logic-Based Explanations for Linear Support Vector Classifiers with Reject Option.
Proceedings of the Intelligent Systems - 12th Brazilian Conference, 2023

An Incremental MaxSAT-Based Model to Learn Interpretable and Balanced Classification Rules.
Proceedings of the Intelligent Systems - 12th Brazilian Conference, 2023

2021
A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking.
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.
Theor. Comput. Sci., 2020

Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games.
Theor. Comput. Sci., 2020

2019
Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings.
Proceedings of the 8th Brazilian Conference on Intelligent Systems, 2019

2018
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank.
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.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Synthesis of a DNF Formula From a Sample of Strings.
Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2015
Merging Argumentation Systems.
Proceedings of the 2015 Brazilian Conference on Intelligent Systems, 2015

2012
A Description Logic for InferenceNet.Br.
Proceedings of the Computational Processing of the Portuguese Language, 2012

2010
A Tractable Paraconsistent Fuzzy Description Logic.
Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010


  Loading...