Seminários realizados às segundas-feiras, das 16hs às 17:30hs, na sala 242-A.
Coordenadora: Renata Wassermann
Edição anterior: primeiro semestre de 2003
|
|
Palestrante | Título | Material disponível |
| 18/8 | Roberto Cássio de Araújo | Como Assistir a Esta Palestra | |
| 25/8 | Paulo Eduardo Azevedo Silveira | Inteligência artificial na prática: robôs inteligentes | |
| 8/9 | Evelyn Cristina Pinto | Mineração de Classes Hierárquicas de Documentos Digitais | |
| 15/9 | Germano Capistrano Bezerra | Aprendizado Computacional Não-Supervisionado e Métodos de Clustering | |
| 22/9 | Anderson Carlos Daniel Sanches | Como o uso de ontologias pode ajudar a Biologia? | |
| 29/9 | Marcelo Finger | Combinações de Sistemas Lógicos | |
| 6/10 | Marcelo Nunes de Carvalho | Inteligência Artificial para jogos de tabuleiro | |
| 13/10 | Renata Wassermann | Revisão de conceitos e protótipos | |
| 20/10 | Adolfo Gustavo Serra Seca Neto | Provadores de teoremas baseados em tableaus | |
| 3/11 | Giuseppe Longo | On the formal unprovability of some provable properties of numbers | |
| 17/11 | Eudênia Xavier Meneses | Algumas abordagens para raciocínio aproximado | |
| 24/11 | Thiago Carvalho de Sousa | Como usar Revisão de Crenças para Manutenção de Requisitos? |