|
Data
|
Palestrante |
Título |
| 25/08 |
CANCELADO |
|
| 01/09 |
Leliane Nunes Barros |
Planejamento sob Incerteza |
| 08/09 |
André da Motta Salles Barreto |
Soluções Aproximadas para Problemas de Tomada de Decisão Seqüencial |
| 15/09 |
Marcelo Finger |
Using Abduction to Compute Efficient Proofs |
| 22/09 |
|
|
| 29/09 |
Carlos Gonzalez |
Densidade e bolas fechadas em análise de agrupamentos |
| 06/10 |
Fabiano Correa |
Construção de mapas semânticos com robôs
móveis (Slides) |
| 13/10 |
Andreas Herzig |
An optimal method for reasoning about actions |
| 20/10 |
Wellington Pinheiro |
Depuração de programas baseada em
modelos: uma abordagem hierárquica |
| 27/10 |
CANCELADO |
FERIADO |
| 03/11 |
Seiji Isotani |
Engenharia de Ontologias no Aprendizado Eletronico. |
| 10/11 |
Andreas Herzig |
Alternating-time Temporal Logic, Coalition
Logic and STIT theory of agency and their epistemic extensions |
| 17/11 |
Marcelo Finger e Renata Wassermann |
Revising Specifications with CTL
Properties using Bounded Model Checking |
| 24/11 |
Karina Valdivia |
SPUDD: usando Diagramas de Decisão para
resolver Processos Markovianos de Decisão fatorados |
| 01/12 |
Renato Coelho |
Algoritmos de Programação Dinamica para Planejamento Probabilistico |
| 08/12 |
Paulo Santos |
Raciocínio probabilístico sobre ações e percepções |