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

  segundo semestre de 2005

Seminários realizados às sextas-feiras das 11:40hs às 13:00hs, na sala 144-B.

Coordenadores: Leliane Nunes de Barros e Flávio Soares Correa da Silva

Edição anterior: primeiro semestre de 2005


 
 
 
Data
 Palestrante Título Material disponível
22/08 (excepcionalmente na segunda-feira)
Jean-Yves Béziau, Swiss National Science Foundation Towards a General Theory of Logics  
26/08 Joselyto Riani
Inferência Aproximada em Lógicas Probabilísticas de Primeira
Ordem através do Método de Monte Carlo com Cadeias de Markov
 
02/09 Rodrigo de Salvo Braz
Inferência Probabilística de
Primeira Ordem Elevada
 
05/09 Prof. Grigoris Antoniou
University of Crete, Greece.
Mini-curso: Languages and Reasoning for the Semantic Web  (I)
 
06/09 Prof. Grigoris Antoniou
University of Crete, Greece.
Mini-curso: Languages and Reasoning for the Semantic Web (II)

08/09 Prof. Grigoris Antoniou
University of Crete, Greece.
Mini-curso: Languages and Reasoning for the Semantic Web (III)

09/09 Prof. Grigoris Antoniou
University of Crete, Greece.
Mini-curso: Languages and Reasoning for the Semantic Web (IV)

16/09 Thiago Engenharia de Conhecimento para Planejamento  
23/09

 
30/09 Anna Reali  - EPUSP
Intelligent Mobile Robotics at LTI-EPUSP
 
07/10 João Marcos

Generalizing Truth-Functionality  
14/10 Reinaldo Bianchi
Aprendizagem de Máquina para Robótica
 
21/10 Marcio Moretto Ribeiro Revisão de Conceitos  
28/10 Ricardo Hermann
Planejamento e execução para Robótica
 
04/11 Germano Capistrano Bezerra Utilização de Análises de Conglomerados para predição de utilização de recursos computacionais  
11/11 Gustavo Salazar Torres Entornos Inteligentes de Manutenção  
18/11
Juliana Chahoud
Planejamento para Serviços Web
 
25/11 Paulo Eduardo Souza Machado
Planejamento como Iniciativa Mixta
 
02/12 David Robert Camargo de Campos

Pesquisas em robótica com o AIBO