Grupo de Pesquisa em Inteligência Computacional

Informações

• Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B

Membros

Pesquisadores

• Celso Kaestner - l[ider
• João Fabro - líder
• Adolfo Neto
• Ana Cristina Barreiras Kochem Vendramin
• Leyza Elmeri Baldo Dorini
• Myriam Regattieri De Biase da Silva Delgado
• Jean Marcelo Simão

Estudantes

• John Théo Sierpinski de Souza - Bolsista de Iniciação Científica - Orientador: João Alberto Fabro
• Renato Girardi Gasoto - Bolsista de Iniciação Científica - Orientador: Celso Antônio Alves Kaestner

Publicações

• NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo. Towards an efficient prover for the C1 paraconsistent logic. Proceedings of the "Fourth Workshop on Logical and Semantic Frameworks, with Applications", Brasília, 2009. Preprint (PDF).
  • Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html