Grupo de Pesquisa em Inteligência Computacional
De Wiki DAINF
(Diferença entre revisões)
(→Publicações) |
|||
| (5 edições intermediárias de um usuário não apresentadas) | |||
| Linha 9: | Linha 9: | ||
=== Pesquisadores === | === Pesquisadores === | ||
| − | * [[Celso Kaestner]] - | + | * [[Celso Kaestner]] - líder |
* [[João Fabro]] - líder | * [[João Fabro]] - líder | ||
* [[Adolfo Neto]] | * [[Adolfo Neto]] | ||
| Linha 21: | Linha 21: | ||
* John Théo Sierpinski de Souza - Bolsista de Iniciação Científica - Orientador: João Alberto Fabro | * 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 | * 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 == | == 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. [http://www. | + | * [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 | ** 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
- 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
