A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. - Jefferson de Barros Santos; Bruno Lopes Vieira; Edward Hermann Haeusler (WEIT, 2015)

Revisiting Counter-model Generation for Minimal Implicational Logic. - Jefferson de Barros Santos; Bruno Lopes Vieira; Edward Hermann Haeusler (CoRR, 2019)

A logical framework with a graph meta-language. - Bruno Cuconato; Jefferson de Barros Santos; Edward Hermann Haeusler (CoRR, 2021)

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., 2022)

A Two-tiered Approach for Knowledge Reasoning. - Fernando Antonio Dantas Gomes Pinto; Jefferson de Barros Santos; Sérgio Lifschitz; Edward Hermann Haeusler (SBBD, 2024)