LIAMF - Laboratório de Inteligência Artificial e Métodos Formais

O Laboratório de Inteligência Artificial e Métodos Formais é um grupo de pesquisa do Departamento de Informática da UFPR desde 1995 e é registrado no Diretório de Grupos de Pesquisa do CNPq


As principais linhas de pesquisa do LIAMF podem ser assim resumidas:

Lógica e Representação do Conhecimento: estudo sobre métodos para representação do conhecimento, particularmente (mas não apenas) aqueles baseados em lógica formal.

Métodos Formais:

Sistemas Tutores Inteligentes: tudo que se refere a Sistemas Tutores Inteligentes, em especial para o ensino de Conceitos Visuais e Linguagens de Programação, que inclui: