English Version
Página Inicial
Formação Acadêmica
Experiência Profissional
Situação Atual
Áreas de Interesse
Projeto de Pesquisa
Material Didático
Aos meus Orientandos
Publicações
Eventos Científicos
Bancas Examinadoras
Logiciário
Pontos de Vista
Liames
Contato
Áreas de Interesse
Modelagem e Automatização do Raciocínio
Lógicas para Representação do Conhecimento
Lógicas Não Monotônicas
Lógicas Paraconsistentes e/ou Paracompletas
Lógicas da Descrição
Lógica Universal
UFSC - INE
Desenvolvimento: Andressa Sebben