Adolfo Neto's publications

Link to publications in my lattes CV


Full papers
1.   NETO, ADOLFO G. S. S. ; KAESTNER, CELSO A. A. FINGER, Marcelo . Towards an efficient prover for the C1 paraconsistent logic. In: Workshop on Logical and Semantic Frameworks, with Applications (LSFA), 2009, Brasília. Procedings of LSFA'09, 2009.
1. NETO, ADOLFO ; FINGER, Marcelo . KEMS - A Multi-Strategy Tableau Prover, 2008, Salvador, Bahia. WTDIA & CTDIA Proceedings, 2008.  
1.   NETO, ADOLFO G. S. S. ; FINGER, Marcelo . A KE Tableau for a Logic of Formal Inconsistency. In: TABLEAUX 2007 - Automated Reasoning with Analytic Tableaux and Related Methods, 2007, Aix en Provence. Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving. Marseille : Technical Report (LSIS.RR.2007.002) of the LSIS/Université Paul Cézanne, 2007.
2.   NETO, ADOLFO G. S. S. ; FINGER, Marcelo . Effective Prover for Minimal Inconsistency Logic. In: IFIP TC12 and WG12.5 -- Conference and Symposium on Artificial Intelligence, 2006, Santiago, Chile. Artificial Intelligence in Theory and Practice. Boston : Springer, 2006. v. 217. p. 465-474.
3.   NETO, ADOLFO G. S. S. ; FINGER, Marcelo . Implementing a Multi-Strategy Theorem Prover. In: Encontro Nacional de Inteligência Artificial - ENIA, 2005, São Leopoldo - RS. Anais do V Encontro Nacional de Inteligência Artificial, 2005. p. 861-871.
4. NETO, ADOLFO G. S. S. ; FINGER, M. . Using Aspect-Oriented Programming in the Development of a Multi-Strategy Theorem Prover. In: II Jornada do Conhecimento e da Tecnologia, 2005, Marília-SP. Anais da II Jornada do Conhecimento e da Tecnologia, 2005.
5. NETO, ADOLFO G. S. S. ; COSTA, Evandro de Barros ; SANTOS, Robério José Rogério dos . Um modelo de dados relacional difuso. In: CONFERENCIA LATINOAMERICANA DE INFORMATICA - CLEI, 1994, CIDADE DO MÉXICO. MEMORIAS DEL XX CLEI, 1994. p. 1329-1341.

Short papers
1. NETO, ADOLFO G. S. S. ; FINGER, Marcelo . Effective Prover for Logics of Formal Inconsistency. In: II SIMPÓSIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DO IME-USP, 2006, São Paulo. II SIMPÓSIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DO IME-USP, 2006.
2. NETO, ADOLFO G. S. S. . A Multi-Strategy Tableau Prover. In: I Simpósio de Iniciação Científica e Pós-Graduação do IME-USP, 2005, São Paulo. I Simpósio de Iniciação Científica e Pós-Graduação do IME-USP, 2005.
3.   NETO, ADOLFO G. S. S. . A Multi-Strategy Theorem Prover. In: Workshop Semantics and Meaning, 2005, Campinas. Workshop Semantics and Meaning, 2005.



Abstracts (in Portuguese):

Posters (in Portuguese):


Um Modelo de Dados Relacional Difuso (PDF)
Adolfo Gustavo Serra Seca Neto
Trabalho de Conclusão de Curso
Bacharelado em Ciência da Computação
Orientador: Evandro de Barros Costa
Instituto de Computação (IC) - Universidade Federal de Alagoas (UFAL)
January 24th, 1994


Using Logic for Concurrency - A Critical Study (PDF)
Adolfo Gustavo Serra Seca Neto
Master of Science in Computer Science
Advisor: Ruy José Guerra Barretto de Queiroz
Informatics Center (CIn) - Federal University of Pernambuco (UFPE)
December 13th, 1996


A Multi-Strategy Tableau Prover
A Multi-Strategy Tableau Prover (official version at USP)
Adolfo Gustavo Serra Seca Neto
Doctor of Science in Computer Science
Advisor: Marcelo Finger
Institute of Mathematics and Statistics (IME) -Univerisity of São Paulo (USP)
January 30th, 2007

BACK TO ADOLFO NETO'S PAGE AT UTFPR