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

Primeiro semestre de 2008

Seminários realizados às quintas-feiras, das 14h00 às 15h00, na sala 242 bloco A.

Coordenadores: Leliane Nunes de Barros e Marcelo Finger

Edição anterior: segundo semestre de 2008




Data
Palestrante Título
27/03 Júlio Stern Problemas envolvendo Estatística, Lógica e Otimização
03/04 Jeronimo Pellegrini Processos de Markov Limitados por Linguagem (Slides)
17/04 Paulo Santos Assimilação de conhecimento em neuroimagens de esquizofrenia
24/04 Renata Wassermann Inclusão versus Recuperação em Bases de Crenças
01/05 FERIADO Não haverá seminário.
08/05 Daniel Kikuti Decisão sequencial sob incerteza: modelos e algoritmos
15/05 Fábio Cozman Uma Lógica de Descrições Probabilística com Terminologias e Asserções
22/05 FERIADO Não haverá seminário.
29/05 Semana do Congresso da USP Não haverá seminário.
05/06 Karina Valdivia Delgado Processos Markovianos de Decisão com Probablilidades Imprecisas
12/06 Silvio do Lago Pereira Um agente baseado em lógica que planeja para metas de alcançabilidade extendida.
19/06 Márcio Moretto Ribeiro titulo
26/06 Wellington Pinheiro Diagnóstico de programas baseado em modelos: uma abordagem hierárquica