Grupo de Pesquisa em Inteligência Computacional

De Wiki DAINF
(Diferença entre revisões)
Linha 3: Linha 3:
  
 
* Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B
 
* Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B
<!-- * Siglas possíveis: GPico Pico Picomp PesqInCom-- >
+
<!-- * Siglas possíveis: GPico Pico Picomp PesqInCom -->
  
 
== Membros ==
 
== Membros ==

Edição de 14h57min de 22 de junho de 2009

Tabela de conteúdo

Informações

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).
Ferramentas pessoais