Seminários do Grupo de Lógica, Inteligência Artificial e Métodos Formais (LIAMF)

Segundo semestre de 2009

Seminários realizados às quintas-feiras, das 14h às 15h30, na sala 243 do bloco A.

Edição anterior: primeiro semestre de 2009




Data
Palestrante Título
13/08 Kate Revoredo Revisão Lógico Probabilística
3/09 Marcelo Finger Probabilistic Entailment and Probabilistic Satisfiability: a Report of Work in Progress
17/09 Marcio Moretto Ribeiro Recuperação e Relevância em Revisão de Crenças
24/09 Renata Wassermann Revisão de Crenças em Lógica de Horn
01/10 Karina Valdivia Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities
08/10 Fabio G. Cozman Análise de Complexidade e Inferência Variacional em uma Lógica de Descrição Probabilística
15/10 Não há seminário
22/10 CANCELADO
29/10 Carlo Borsoi Moura Sistemas de informação utilizando ontologias
05/11 Leliane Nunes de Barros Planejamento Automatizado: uma visão unificada e resultados de pesquisa
12/11
19/11
26/11
03/12 Alexandre Costa Leite Redução do conhecimento à crença