Jefferson de Barros Santos

According to our database, Jefferson de Barros Santos authored at least 5 papers between 2015 and 2024.

Collaborative distances:

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

2024

A Two-tiered Approach for Knowledge Reasoning.

Fernando Antonio Dantas Gomes Pinto, Jefferson de Barros Santos, Sérgio Lifschitz, Edward Hermann Haeusler

Proceedings of the 39th Brazilian Symposium on Databases, 2024

2022

Searching for Researchers: an Ontology-based NoSQL Database System Approach and Practical Implementation.

Mariana D. A. Salgueiro, Veronica dos Santos, André L. C. Rêgo, Daniel S. Guimarães, Jefferson de Barros Santos, Edward Hermann Haeusler, Marcos V. Villas, Sérgio Lifschitz

J. Inf. Data Manag., December, 2022

2021

A logical framework with a graph meta-language.

Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler

CoRR, 2021

2019

Revisiting Counter-model Generation for Minimal Implicational Logic.

Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler

CoRR, 2019

2015

A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic.

Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler

Proceedings of the Third Workshop-School on Theoretical Computer Science, 2015