Vitor Greati

According to our database, Vitor Greati authored at least 11 papers between 2015 and 2024.

Collaborative distances:

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

2024

Finite Hilbert Systems for Weak Kleene Logics.

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio

Stud Logica, December, 2024

Axiomatizing the Logic of Ordinary Discourse.

Vitor Greati, Sérgio Marcelino, Umberto Rivieccio

CoRR, 2024

Generating proof systems for three-valued propositional logics.

Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio

CoRR, 2024

Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete.

Vitor Greati, Revantha Ramanayake

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Adding an Implication to Logics of Perfect Paradefinite Algebras.

Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio

CoRR, 2023

2022

Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics.

Vitor Greati, João Marcos

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Synthetic image generation for training deep learning-based automated license plate recognition systems on the Brazilian Mercosur standard.

Gilles Silvano, Vinicius Campos Tinoco Ribeiro, Vitor Rodrigues Greati, Aguinaldo Bezerra, Ivanovitch Silva, Patricia Takako Endo, Theo Lynn

Des. Autom. Embed. Syst., 2021

On Logics of Perfect Paradefinite Algebras.

Joel Gomes, Vitor Greati, Sérgio Marcelino, João Marcos, Umberto Rivieccio

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Proof Search on Bilateralist Judgments over Non-deterministic Semantics.

Vitor Greati, Sérgio Marcelino, João Marcos

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2019

Brazilian Mercosur License Plate Detection: a Deep Learning Approach Relying on Synthetic Imagery.

Vinicius Campos Tinoco Ribeiro, Vitor Rodrigues Greati, Aguinaldo Bezerra, Gilles Silvano, Ivanovitch Silva, Patricia Takako Endo, Theo Lynn

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

2015

A visual protocol for autonomous landing of unmanned aerial vehicles based on fuzzy matching and evolving clustering.

Bruno Sielly Jales Costa, Vitor Rodrigues Greati, Vinicius Campos Tinoco Ribeiro, Celso Soares da Silva, Ivanilson Franca Vieira

Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015