PhD Course on "Non monotonic reasoning"
- to be defined
- Academic staff
Series to which this belongs
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)