Palestras, Apresentações, Relatórios


Atenção: Uma versão mais atualizada (contendo apenas as principais publicações) está disponível aqui.

15/08/2005 - Artigo "Using Aspect-Oriented Programming in the Development of a Multi-Strategy Theorem Prover" (em pdf), aceito na II Jornada do Conhecimento e da Tecnologia -  UNIVEM - Marília.

15/08/2005 - Artigo "A Multi-Strategy Theorem Prover" (em pdf), apresentado no Workshop "Semantics and Meaning", SeMe-2005,CLE-UNICAMP,25 a 28 de Julho, 2005.

24/05/2005 - Artigo "Implementing a Multi-Strategy Theorem Prover" (em pdf), aceito no ENIA 2005. Os anais do ENIA estão disponíveis aqui. Este artigo está aqui.

30/09/2005 - Versão apresentada à banca da dissertação de qualificação de doutorado (em pdf).

22/10/2004 - Versão preliminar do artigo "Using Aspect-Oriented Programming in the Development of a Multi-Strategy Theorem Prover" (em pdf).

11/12/2003 - Relatório "An Object-Oriented implementation of a KE Tableau Prover" (em formato ps gzipado):  Projeto final da disciplina "Tópicos em Lógica Computacional".  Professor Marcelo Finger.

11/12/2003 - Relatório "An Introduction to Aspect-Oriented Programming" (em formato pdf gzipado):  Projeto final da disciplina "Tópicos Avançados em Programação Orientada a Objetos". 

07/11/2003 - Esboço de projeto de pesquisa (em formato ps gzipado).

07/11/2003- Padrão Pedagógico "Fazer, Revisar, Refazer" - com Eudênia Xavier Menezes - disciplina: Tópicos Avançados em Programação Orientada a Objetos - MAC 5715 - Professor Fábio Kon.

01/07/2003 - Relatório da disciplina "Técnicas de Programação Declarativa": "Modifications on the implementation of a framework for tableaux methods" (em formato ps gzipado)

27/06/2003 - Prova Final de "Programação Orientada a Objetos" (em formato ps gzipado)

18/04/2005 - Transparências do seminário "Um Provador de Teoremas Multi-Estratégia" apresentado na segunda-feira, 18/04/2005, às 16:00h, no Ciclo de Seminários do LIAMF Instituto de Matemática e Estatística (IME) - USP. 01/04/2005 - Transparências do seminário "Um Provador de Teoremas Multi-Estratégia" apresentado na sexta-feira, 01/04/2005, às 14:00h, no Ciclo de Seminários de Teoria da Computação do Instituto de Computação (IC) - Unicamp.

30/03/2005 - Transparências do seminário "Um Provador de Teoremas Multi-Estratégia" apresentado na quarta-feira, 30/03/2005, às 16:00h, no Ciclo de Seminários de Lógica do GLTA do Centro de Lógica, Epistemologia e História da Ciência (CLE) - Unicamp.

30/10/2003- Apresentação sobre "Cérebros e Computadores - A complementaridade  analógico-digital na informática e na educação" da disciplina Preparação à Docência de Graduação.

09/05/2003 - Apresentação PowerPoint sobre "A Standard Template Library da linguagem C++" (em formato .ppt gzipado)  na disciplina "Programação Orientada a Objetos"
 

29/0-9/2005 - MSTP - Multi-Strategy Tableau Prover. Leia instruções de instalação aqui.

30/12/2004 - Tableau Prover - versão 4. Com scripts para Linux. Leia instruções no arquivo readme.txt no pacote. Exige java instalado.

04/07/2003 - Trabalhos em Smalltalk da disciplina "Programação Orientada a Objetos":
            Fase 1
            Fase 2
            Fase 3

 

Dissertação de Mestrado
Using Logic for Concurrency - A Critical Study (em pdf)
Aluno: Adolfo Gustavo Serra Seca Neto
Orientador: Ruy José Guerra Barretto de Queiroz
Centro de Informática (CIn) - Universidade Federal de Pernambuco (UFPE)
Data da defesa: 13 de dezembro de 1996


Obs.: Descompactadores do formato .gz para WINDOWS e UNIX podem ser encontrados fazendo uma busca em http://download.com.