Grupo de Pesquisa em Inteligência Computacional

De Wiki DAINF
(Diferença entre revisões)
(Nova página: == Membros == * Celso Kaestner - l[ider * João Fabro - líder * Adolfo Neto)
 
(Publicações)
 
(12 edições intermediárias de um usuário não apresentadas)
Linha 1: Linha 1:
 +
== Informações ==
 +
 +
 +
* Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B
 +
<!-- * Siglas possíveis: GPico Pico Picomp PesqInCom -->
  
 
== Membros ==
 
== Membros ==
  
* [[Celso Kaestner]] - l[ider
+
=== Pesquisadores ===
 +
 
 +
* [[Celso Kaestner]] - líder
 
* [[João Fabro]] - líder
 
* [[João Fabro]] - líder
 
* [[Adolfo Neto]]
 
* [[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 ==
 +
 +
* [http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf 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).]
 +
* [http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4XT3BCH-7&_user=10&_coverDate=12%2F02%2F2009&_rdoc=1&_fmt=&_orig=search&_sort=d&_docanchor=&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=ff2bdbf5be3d0bd23a0d2feb0309d353 '''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

Edição atual tal como 18h22min de 28 de novembro de 2009

Tabela de conteúdo

Informações

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

Ferramentas pessoais