Automated Reasoning Course

Part of the course Elective in Artificial Intelligence

Lecturer: Paolo Liberatore


Thursday, 14-15:30, room A7
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.