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

segundo semestre de 2006

Seminários realizados às segundas-feiras, das 15h45 às 17h00, na sala 267A.

Coordenadores: Flávio Soares Corrêa da Silva e Renata Wassermann

Edição anterior: primeiro semestre de 2006


 
 
 
Data
Palestrante Título
24/08
10h00
Stefania Bandini (Univ. Milano)
(sala A. Gilioli)
 The Multifaceted World of Knowledge Engineering:
From People to Technology - The Case of
Multidisciplinary Networks
11/09 Eva Bou (IIIA-CSIC - Espanha)   Self-configuration in Autonomic Electronic Institutions
18/09 Anarosa Brandão (LTI-POLI)   Observed-MAS: an Ontology-based Method for Analyzing Multi-Agent Systems Design Models
25/09 Felipe Werndl Trevizan Planning under Risk and Knightian Uncertainty
2/10 Márcio Moretto Ribeiro First Steps Towards Revising Ontologies
23/10 Christian Paz-Trillo Classifying Ontologies
30/10 Paulo Salem Especificando formalmente domínios informais: um estudo de caso com o método Z e uma teoria psicológica
06/11 Karina Valdivia Delgado Uso de Ontologias para Geração de Diálogos
13/11 Filipe Correa Lima da Silva A game-based animation tool to support the teaching of formal reasoning
27/11 Filipe Correa Lima da Silva Mini-tutorial sobre OGRE: ferramenta para manipulação de objetos gráficos