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

Segundo semestre de 2013

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

Edição anterior: primeiro semestre de 2013




Data
 Palestrante Título
08/08 Catarina Dutilh Novaes Reasoning biases and non-monotonic logics
15/08 Eduardo Fermé Belief Revision: From 1985 to 2013
22/08 Tiago de Lima Three Traditions on the Logic of Action: Bringing Them Together
29/08 Aline Andrade Verificação de modelos com jogos
05/09 Semana da Pátria LSFA no IME dias 2 e 3
12/09 Eduardo Fermé Uso de Robôs no Ensino de Inteligência Artificial
19/09 Raphael Cobe / Diogo Patrão Merging Ontologies via Kernel Contraction / Ontocloud - a clinical information ontology based dataintegration system
26/09 Marcelo Finger Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability
03/10 Eduardo Galego Extração e Consulta de Informações do Currículo Lattes Baseadas em Ontologia
17/10 Maria Viviane de Menezes
24/10 BRACIS
31/10 Mirtha Lina Fernández Venero
07/11 Andreas Herzig
14/11
21/11
28/11 Pedro Calais Guerra (UFMG, doutorando) Redes sociais multipolarizadas: conectando mineração de grafos, ciências sociais e análise de sentimento