Home
Lógica e Inteligência Artificial
Temas de Pesquisa:
- Aprendizagem de Máquina
- Complexidade Descritiva e Parametrizada
- Formalização e Automatização do Raciocínio
- Inteligência Artificial
- Lógicas Clássicas e Não Clássicas
- Teoria da Prova
- Visão Computacional