área de pesquisa
- Modelos Minimais e Hierarquia de Expressividade
- Sistemas Formais Avançados e a Estratificação Relevante : Uma Defesa da Predicatividade das Definições
- Tarcísio Haroldo Cavalcante Pequeno e Marcelino Pequeno
- Uma Aplicação para LPR (Logic for Plausible Reasoning)
- Uma Nova Abordagem para o Raciocínio Não Monotônico