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

Segundo semestre de 2011

Seminários realizados às quintas-feiras, das 14h às 15h30, na sala 256 do bloco A.

Edição anterior: primeiro semestre de 2011




Data
Palestrante Título
25/08 Karina Valdivia Delgado Discrete and Continuous Markov Decision Process
01/09 Tiago de Lima (U. Artois, Fr) Alternating-Time Temporal Announcement Logic
08/09 Semana do 7 de setembro Sem atividade
15/09 Jose Eduardo Ochoa Luna Logica de Descricao Probabilistica: aprendizado e aplicacoes
22/09 Leliane Nunes Barros A Linguagem de Planejamento RDDL
29/09 Maria Viviane de Menezes Justificando falhas na tarefa de planejamento: o que fazer quando nenhum plano pode ser encontrado
06/10 CANCELADO
13/10 Raul Fervari (U. Cordoba, AR) Dynamic Modal Logics - Changing Structures
20/10 Paulo Oliva, Queen Mary University of London Funcoes de Selecao na Logica Matematica e na Teoria dos Jogos
27/10 Marcelo Finger Interactions Between (Modal) Logic and Probability
03/11 Pierre Andrews ( KnowDive - University of Trento) The User Generated Data Conundrum
22/11 Estevam Rafael Hruschka Junior (UFSCar) Aprendizado sem fim: sistemas computacionais inteligentes autônomos