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
Docentes
Prof. Dr. César Lincoln Cavalcante Mattos
Prof. Dr. João Fernando Lima Alcântara
Prof. Dr. João Paulo do Vale Madeiro
Prof. Dr. José Antonio Fernandes de Macêdo
