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

segundo semestre de 2007

Seminários realizados às segundas-feiras, das 14h00 às 15h00, na sala 252-A.

Coordenadoras: Renata Wassermann e Leliane Nunes de Barros

Edição anterior: primeiro semestre de 2007


 
 
 
Data
Palestrante Título
13/8 Professores do LIAMF  Apresentação de linhas de pesquisa
20/8 Márcio Moretto Ribeiro  Revisão de Crenças em Lógicas de Descrição, Teoria e Prática
27/8 André Casado Castaño Ontologia do Currículo Lattes - Extração de informações a partir de arquivos HTML
10/9 Ricardo Herrmann Planejamento Hierárquico sob Incerteza
17/9 Marcelo Finger Abduzindo Eficiências
24/9 Carlos E. Thomaz (FEI) Extração de Informação Discriminante em Imagens Médicas
1/10 CANCELADO
15/10 Flávio Soares Corrêa da Silva Inteligência Artificial e Jogos de Computador
22/10 Fabio Ramos (University of Sydney)
LOCAL: Sala de Apresentações (MC-02) -- Prédio de Engenharia Mecânica/Mecatrônica/Naval -- Escola Politécnica
Robotica de Campo no Australian Centre for Field Robotics
29/10 Guilherme de Souza Rabello Aproximações para as Lógicas Modais K, T, D, S4 e S5
5/11 Defesa de doutorado: Silvio Lago
LOCAL: sala 136 Bloco A
Planejamento sob incerteza para metas de alcançabilidade estendidas
12/11 Rodrigo Ferro Desktops semânticos
26/11 Karina Valdivia Delgado Soluções aproximadas para um MDPIP fatorado
3/12