SOBRE NÓS
O LIAMF (Laboratório de Inteligência Artificial e Métodos Formais) da Universidade Federal do Paraná (UFPR) é um grupo de pesquisa dedicado a explorar e compreender os fundamentos da Inteligência Artificial Clássica. Suas áreas de atuação incluem Lógica, Representação de Conhecimento, Planejamento, Provadores de Teoremas e Métodos Formais. Além disso, o laboratório realiza pesquisas em Programação por Restrições, Otimização, Processamento de Linguagem Natural, Aprendizado de Máquina e Algoritmos, combinando aspectos práticos, experimentais e teóricos dessas áreas.