área de pesquisa
- Automação de Lógica Modal Um Estudo Comparativo de Algumas Abordagens
- Desenvolvimento de Programas por Composição de Implementações Utilizando Lógica Clássica e Lógica Default
- Lógicas Não Montônicasna Formalização do Senso Comum
- Modularidade e Relação de Conseqüência
- O Tempo como Modelo: Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos, Wamberto Weber M. P. Vasconcelos
- Propriedades de Lógica Default e suas Aplicações a Especificação de Programas
- Revisão de Crenças Aplicadas a Programas em Lógica
- Semântica de Revisão de Crenças para Lógicas Default
- Sheila Regina Murgel Veloso
- Sobre Esquemas de Indução
- Um Estudo do Conhecimento: Algumas abordagens para a sua Formalização
- Um Método de Dedução Não Monotônico Baseado em Eliminação de Modelos