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

Segundo semestre de 2015

Seminários realizados às quintas-feiras, das 14h às 15h30, no Auditório do CCSL.

Edição anterior: Primeiro semestre de 2015




Data
Palestrante Título
13/8 Eduardo Menezes de Morais, IME-USP Non-Markovian Logic-Probabilistic Modeling and Inference
20/8 Yuri David Santos, IME-USP Pseudo-contractions in Belief Revision
27/8 Felipe Salvatore (FFLCH-USP) Justification Logic: a very short introduction
3/9 Fabio Cozman Plates and Probabilistic Relational Models with Description Logics
10/9 SEMANA DA PÁTRIA NÃO HÁ SEMINÁRIO
17/9 Marcelo Finger Reasoning with Inconsistent Logic Probabilistic Bases
24/9 Fernando Gomide (Unicamp) Evolving Granular Computation
01/10 Marisol Solis Yucra Utilização de Ontologias para Busca em um Sistema Colaborativo de Imagens Arquitetônicas
08/10 Walter Perez Initialization Heuristics for Greedy Bayesian Network Structure Learning
15/10 Paulo de Tarso Guerra Restricted LTL Contraction: on the uncomputability of partial meet contraction for LTL
22/10 Esdras Lins Bispo Jr. Comparação de Métricas de Avaliação de Alinhamentos de Ontologias
29/10 COLÓQUIO DO DEPARTAMANTO NÃO HÁ SEMINÁRIO
5/11 NÃO HÁ SEMINÁRIO
12/11 Felipe Serras (IF-USP) Previsão da Temática de Notícias
19/11 Ricardo Sekeff (IME-USP) Li-Fraumeni Ontology: A case study of an ontology for Knowledge Discovery in a Cancer Domain
26/11
03/12
10/12 Richard Eckart de Castilho, TU Darmstadt Engineered to interoperate - Natural Language Processing with UIMA and DKPro Core