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