PhD Course on "Non monotonic reasoning"
- to be defined
Cicli in cui è offerta
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.
(pdf, it, 136 KB, 29/04/15)