The main objective of this course is to provide a technical overview of the most "famous" logic families and automatic reasoning techniques applied in AI and CS. The level of the course is introductory, for each logic family we will provide, intuitions and applications, the basic syntax and semantics, and its main automatic reasoning techniques. The course does not have any prerequisite, but at each lecture students are supposed to be familiar with the subjects treated in the previous one.
| 2003 | 2004 | 2005 |