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

primeiro semestre de 2006

Seminários realizados às segundas-feiras, das 16hs às 17:30hs, na sala 266A.

Coordenadores: Leliane Nunes Barros e Marcelo Finger

Edição anterior: segundo semestre de 2005


 
 
 
Data
Palestrante Título
13/03 Teddy Seidenfeld

Carnegie Mellon

 Some discussion of the Machine Learning Department at Carnegie Mellon University, with an illustration concerning E.T.Jaynes' MaxEnt Principle  
20/03 CANCELADO CANCELADO  
27/03 Jacques Wainer

IC-UNICAMP

Inteligência Artificial como Engenharia: uma visão baseada em problemas e técnicas  
03/04 Gustavo Enrique Salazar Torres Artefactos de Conhecimento   
10/04 Semana da Páscoa Não há seminário  
17/04 Paulo Cesar G. Costa Semântica Bayesiana para a Web Semântica  
24/04 Fábio Kepler Introdução a Wikis Semânticos [PDF]  
01/05 Feriado
08/05 Claudia Nalon

UnB

Prova Automática de Teoremas para Lógicas Modais
15/05 CANCELADO  
22/05 Juliana Chahoud Planejamento de Serviços Web Semânticos  
29/05 Karina Valdivia Delgada  Diagnóstico baseado em Modelos no aprendizado de programação  
05/06 Felipe Trevizan  Planejamento Probabilístico  
12/06      
19/06  Juliana Brandao

Unicamp

 Titula a ser anunciado  
26/06