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

primeiro semestre de 2003

Seminários realizados às terças-feiras, das 16hs às 18hs, na sala 259-A.

Coordenadora: Renata Wassermann

Edição anterior: segundo semestre de 2002


 
 
 
Data
  Palestrante Título Material disponível
11/3 Alneu de A. Lopes Estudo Preliminar de uma Nova Abordagem de Indução Baseada no Princípio da Mínima Ação  
18/3 Anderson Sanchez Introdução ao Power Loom e uma Aplicação Transparências (.ppt)
25/3 ---------------- (Adiado por problemas técnicos...)  
1/4 Marcelo Amorim Uma técnica de verificação para pi-calculus baseada em bi-simulações up-to e algoritmos de particionamento  
8/4 Edward Iamamoto Planejamento Hierárquico em Golog  
22/4      
29/4 José Luiz De Lucca Dictionarium - Corpus-Based Dictionary Creation Software Tools  
6/5 Flavio Ribeiro Desafio ROADEF 2003  
13/5 Professores do LIAMF Os projetos do LIAMF  
20/5 Lourival Paulino Uma Formalização Preliminar da Quinta Disciplina e Alguns Resultados Transparências (.pdf)
27/5 Márcio Carneiro Ontologias, Web Semântica e Aplicações Transparências (html)
3/6 Flávio S. C. da Silva Ontologias Artificiais  
10/6 Marco Eugênio Di Beneditto Descoberta de Padrões usando Conhecimento Prévio  
17/6 Joselyto Riani OpenCyc - Um Arcabouço para Construção de Ontologias com Raciocínio de Senso Comum  
24/6 Andréia Machion Inteligência Artificial na Educação e a arquitetura ACT-R