A unifying approach for (reflexive) autoepistemic logic, nonmonotonic S4F and ASP by Ezgi Iraz Su (FCUL)

Qua, 25 outubro 2017, 14:00 - 15:00

Tipo de evento:

Seminário

Organizador:

DI / NOVA LINCS

Local do evento:

Edifício II

Localização específica:

Sala de seminários do DI

Contacto:

Profª. Carla Ferreira