área de pesquisa
- Daniele Nantes Sobrinho
- Dedução Automática por Tableaux estruturada em XML
- Disunificação Nominal via Pontos Fixos
- Fernando Ferrari Duch
- Grupo de Estudos de Lógica e Epistemologia (GELE/UFMS)
- Induction and Plausibility: A Formal Approach from the Viewpoint of Artificial Intelligence
- Milton Augustinis de Castro
- O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
- O Problema da Dedução do Intruso para um Protocolo Criptográfico Especificado via Reescrita Módulo AC
- Parcilene Fernandes de Brito
- Rafael Albiero Vieira
- Stefânio Ramalho do Amaral