Dottorato in Informatica

PhD Course on "Non monotonic reasoning"

Periodo
to be defined

Docenti
Matteo Cristani

Cicli in cui è offerta

29° ciclo
30° ciclo

Descrizione

 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.
 

Allegati

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