Grupo de Pesquisa em Inteligência Computacional
De Wiki DAINF
Tabela de conteúdo |
Informações
- Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B
Membros
Pesquisadores
- Celso Kaestner - líder
- 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
- Emerson Shigueo Sugimoto - Bolsista de Iniciação Científica - Orientador: Adolfo Gustavo Serra Seca Neto. Período: 08/2009 a 07/2010.
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).
- Towards an efficient prover for the C1 paraconsistent logic. publicado na ENTCS
- Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html
