Seminários realizados às quintas-feiras, das 14h às 15h30, na sala 254 do bloco A.
Edição anterior: segundo semestre de 2009
|
|
Palestrante | Título |
| 25/03 | Márcio Moretto Ribeiro | Distributividade e outras propriedades lógicas importantes para revisão de crenças |
| 01/04 | SEMANA DA PÁSCOA | NÃO HÁ SEMINÁRIO |
| 08/04 | Paulo de Tarso Guerra Oliveira | Revisão de Modelos CTL baseada no Sistema de Esferas |
| 15/05 | Marcelo Finger | Lógica Computacional -- Expressividade, Limites e Desafio |
| 22/04 | William Colen | Usando anotadores Apache UIMA para Português do Brasil |
| 29/04 | Rodrigo de Salvo Braz | Anytime Lifted Belief Propagation |
| 06/05 | Paulo Salem | An Environment Model for Multi-Agent Systems Suitable for Formal Verification |
| 13/05 | CANCELADO | |
| 20/05 | Maria Viviane de Menezes | Atualização de Modelos baseada em Ações |
| 27/05 | ||
| 03/06 | FERIADO | |
| 10/06 | Flavio Lichtenstein | Bases de Conhecimento e Padrões na Ãrea de Saú |
| 17/06 | Becky Bates | Artificial Intelligence & Science Fiction Slides: 1 2 |
| 24/06 | ||
| 01/07 | Pedro Calabar | Answer Set Programming slides |