Adolfo Neto's publications

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.

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):

O uso de blogs como ferramentas de apoio ao ensino de programação: um estudo de caso. VII SIMPÓSIO DE PRODUÇÃO CIENTÍFICA - Centro Universitário Moura Lacerda/CUML. Ribeirão Preto, SP, Brasil, 20 de outubro de 2007.

Posters (in Portuguese):

O uso de blogs como ferramentas de apoio ao ensino de programação: um estudo de caso. VII SIMPÓSIO DE PRODUÇÃO CIENTÍFICA - Centro Universitário Moura Lacerda/CUML. Ribeirão Preto, SP, Brasil, 20 de outubro de 2007.

Trabalho de Graduação

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

M.Sc. Dissertation

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

Ph.D. Thesis

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