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

segundo semestre de 2002

Seminários realizados às quartas-feiras, das 14hs às 16hs, na sala 243-A.

Coordenadora: Renata Wassermann


 
 
 
Data
  Palestrante Título Material disponível
14/08 Eduardo Fermé Revisão de Crenças, uma perspectiva histórica  
26/08 (segunda-feira, 16hs, sala 259-A) Renata Wassermann Expressividade e controle em raciocínio aproximado Artigo(.ps.gz)  Transparências(.pdf)
11/09 Fábio Ide Lógicas de Raciocínio Aproximado e o Problema SAT  
18/09 Marco Eugênio Madeira Di Beneditto Técnicas de Inteligência Artificial no Processo de Descoberta de Conhecimento em Bancos de Dados  
25/09 Aldebaran Perseke Planejamento & Escalonamento - O planejador FF-métrico Transparências(.pdf)
02/10 Adilson Sanchez Apoio ao gerenciamento de manutenção de software baseada em Redes Bayesianas  
16/10 Carlos Gonzales Aplicações de álgebras de Boole produto em análise de agrupamentos artigo(.pdf)
23/10 Flávio Soares C. da Silva Uma Proposta de Lógica para Proposições Perecíveis  
30/10 Leandro Alves da Silva Utilização de Ontologias para Integração de Heterogeneidade Semântica Transparências(.ppt)
06/11 Robson Moron Introdução à construção de ontologias em T I  
20/11 Marcelo Amorim CANCELADO!!!  
27/11 Joselyto Riani Revisão de crenças: reduzindo o tamanho do problema.  
04/12 Lourival Paulino Teoria da Organizacão Aprendiz Formalizada e Sistemas Multi-Agentes (SMA).