Seminários realizados às segundas-feiras, das 16h00 às 17h00, na sala 242A.
Coordenadores: Marcelo Finger e Renata Wassermann
Edição
anterior: segundo
semestre de 2006
|
|
Palestrante | Título |
| 19/03 | Leliane Nunes de Barros | Planning under Risk and Knightian Uncertainty |
| 26/03 14hs, sala 144B |
Defesa de dissertação Thiago Carvalho de Sousa | Revisão de modelos formais de sistemas de estados finitos. |
| 02/04 | Semana da páscoa | |
| 09/04 | Cancelado | |
| 16/04 | Marcelo Finger | Implementação eficiente de tableaux |
| 23/04 | Renata Wassermann | Agentes com recursos limitados e raciocínio aproximado |
| 07/05 | Márcio Moretto Ribeiro | Base Revision in Description Logics |
| 14/05 | Christian Paz-Trillo | Compressão de séries temporais utilizando modelos ARIMA |
| 21/05 | Maria Ângela Weiss | Proposta de um Algoritmo Polinomial para 3-SAT |
| 28/05 | Paulo Eduardo Santos (UNIFEI) | Reasoning about depth and motion from an observer's viewpoint |
| 04/06 | Cásio Campos | Lógica Probabilística com Independência |
| 11/06 | Tiago Motta Jorge | SATMS - The Simplified Assumption-based Truth Maintenance System |
| 18/06 | ||
| 25/06 |