Hora | Apresentador | Título |
09h00-09h15 | Marcelo Finger | Abertura |
09h15-09h30 | Marcelo Finger | Resultados e Direções em Lógica Probabilística |
09h30-09h45 | Fabio Cozman | Inferência e aprendizado em lógicas de descrição probabilística com aplicações |
09h45-10h00 | Anna Reali | Abstração de políticas estocásticas para problemas modelados por MDPs relacionamente fatorados e sua aplicação no aprendizado de políticas concretas para problemas similares |
10h00-10h15 | Leliane | Planejamento Probabilístico |
10h15-10h30 | Paulo Santos | Learning probabilistic relational event models from complex video sequences |
10h30-11h00 | Intervalo |
11h00-11h15 | Valquiria | Cralc no reconhecimento de objetos em contexto |
11h15-11h30 | Alexandre | Abdução Lógica e Satisfabilidade Probabilística |
11h30-11h45 | Hugo | Resolvendo o Problema da Satisfação Pseudo Booleana via SAT e Simplex |
11h45-12h00 | Poliana | Comportamento Estatístico de SAT-solvers |
12h00-12h15 | Anderson | Satisfatibilidade Quântica |
12h15-12h30 | Eduardo | Probabilistic Answer Set Programming |
12h30-12h45 | Karina | Discrete and Continuous Markov Decision Process (UAI 2011) |
12h45-13h00 | Todos | Encerramento |