Lecturers: Davide Martinenghi and Werner Nutt
Note: this page collects information and material regarding the part of the course taught by Davide Martinenghi.| # | Date | Lecture Time | Lecture Room | Exercise Time | Exercise Room | Topics | Material | Remarks |
|---|---|---|---|---|---|---|---|---|
| 1 | March 2, 2010 | 14:00-16:00 | C3.06 | 18:00-19:00 | E531 | Computational Logic: the science Propositional Logic I (syntax, semantics) |
Lectures 1-2 - Lab (solutions) | |
| 2 | March 3, 2010 | 09:30-11:30 | C3.06 | 11:30-12:30 | E531 | Propositional Logic II (normal forms, calculi) | Lab (solutions) | |
| 3 | March 9, 2010 | 14:00-16:00 | C3.06 | 18:00-19:00 | E531 | Propositional Logic III (more calculi) | Lecture 3 - Lab (solutions) | |
| 4 | March 10, 2010 | 09:30-11:30 | C3.06 | 11:30-12:30 | E531 | First-Order Logic I (syntax, semantics) | Lecture 4 | |
| 5 | March 15, 2010 | 16:00-18:00 | E221 | 18:00-19:00 | E531 | First-Order Logic II (normal forms, unification) | Lecture 5 - Lab (solutions) | |
| 6 | March 16, 2010 | 14:00-16:00 | C3.06 | 18:00-19:00 | E531 | First-Order Logic III (calculi) | Lecture 6 - Lab (solutions) | |
| 7 | March 17, 2010 | 09:30-11:30 | C3.06 | 11:30-12:30 | E531 | Refinements of resolution | Lecture 7 | |
| 8 | March 29, 2010 | 16:00-18:00 | C3.06 | 18:00-19:00 | E531 | Discussion of Assignment 1 | Lab (solutions) | |
| 9 | March 30, 2010 | 14:00-16:00 | C3.06 | 18:00-19:00 | E531 | Negation (SLDNF-resolution, CWA, Completed database) | Lecture 9 - Lab (solutions) | |
| 10 | March 31, 2010 | 09:30-11:30 | C3.06 | 11:30-12:30 | E531 | Discussion of Assignment 2 | ||
| 11 | April 13, 2010 | 14:00-16:00 | C3.06 | 18:00-19:00 | E531 | Answer set programming, DLV | Lecture 1, 2 - Lab (solutions) | Slides courtesy of Thomas Eiter |
| 12 | April 14, 2010 | 09:30-11:30 | C3.06 | 11:30-12:30 | E531 | Non-monotonicity, Discussion of Assignment 3 | Lecture 12 - Mock exam |
Office hours: Tuesday between 4pm and 6pm.