PhD in Computer Science

PhD Course on "Non monotonic reasoning"

Period
to be defined

Academic staff
Matteo Cristani

Series to which this belongs

29° ciclo
30° ciclo

Description

 The course introduces the methods for implementing technologies to reason with non monotonic logic frameworks. Specifically it treats Temporal non monotonic reasoning, defeasible reasoning, logics for incoherent agents.
The final exam will consist in the presentation of a scientific paper agreed with the teacher, of specific interest of the student.
 

Attachments

Documents
  • pdf   Flyer   (pdf, it, 136 KB, 29/04/15)