Automated Reasoning Course

Part of the course Elective in Artificial Intelligence

Lecturer: Paolo Liberatore

2016/2017

Schedule
Thursday, 14-15:30, room A7
Program
The course presents the main methods for checking satisfiability or entailment of formulae in propositional logic, first order logic, and modal logics, including in particular the modal logics of time.
Final tests
Oral test only; please email the professor for details.