O Grupo de Lógica e Inteligência Artificial - desenvolve pesquisas na área de Lógica, Inteligência Artificial e Teoria da Computação. Ele é um dos grupos de pesquisa do Programa de Mestrado e Doutorado em Ciência da Computação e da Graduação em Computação do Departamento de Computação da Universidade Federal do Ceará. Possui, em sua equipe, colaboradores de outras universidades do Ceará e do Brasil.
Objetivo
Os objetivos gerais do grupo são desenvolver pesquisas na área de Lógica, Inteligência Artificial e Teoria da Computação; buscar fundamentação e instrumentação teóricas mais sólidas para essas áreas do conhecimento e formar quadros em Ciência da Computação com forte embasamento teórico e desenvolvimento de suas aplicações.
Áreas de Atuação
O grupo desenvolve pesquisas nos seguintes temas:
Lógica: lógicas clássicas e não clássicas, teoria dos modelos finitos, complexidade descritiva, teoria da prova, programação em lógica.
Inteligência Artificial: aprendizado de máquina, visão computacional, processamento de sinais, formalização do raciocínio.
Teoria da Computação: computabilidade, complexidade, teoria da informação.
Endereço
Universidade Federal do Ceará
Departamento de Computação
Campus do Pici, Bloco 910
CEP 60455-760
Fortaleza - CE
Brasil
Departamento de Computação
Campus do Pici, Bloco 910
CEP 60455-760
Fortaleza - CE
Brasil