A unifying approach for (reflexive) autoepistemic logic, nonmonotonic S4F and ASP
Ezgi Su
CMAFCIO, Universidade de Lisboa
Ezgi Su
CMAFCIO, Universidade de Lisboa
Por Rui Alberto Pimenta Rodrigues (Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa).
Abstract: (Deep) Neural networks seem to be achieving the targets drawn for Artificial Intelligence in the early 60's. We will present the practical accomplishments. The underlying mathematical models will be discussed:
Por João Gouveia (Universidade de Coimbra).
Por Filippo Gazzola (Politecnico of Milan).
Por Ezgi Su (Universidade de Lisboa, CMAF-CIO).
Por Marco Dozzi (Inst. Elie Cartan, Univ. de Lorraine, Nancy).
Por Filipe Oliveira (Centro de Matemática e Aplicações, FCT - Universidade Nova de Lisboa).
Seminário financiado por Fundos Nacionais através da FCT - Fundação para a Ciência e a Tecnologia, no âmbito do projeto UID/MAT/04561/2013.
Por Stefanella Boatto (INRIA-CentraleSupelec & Universidade Federal de Rio de Janeiro).
Por Javier Alcaide (Mestrado em Matemática da FCUL).
Conheça os órgãos, as pessoas, o ensino, as unidades de investigação, as atividades de extensão e as publicações do Departamento de Matemática.