COSC410
Lectures - Semester 1 2016
| Lecture 1 | Introducing propositional logic |
| Lecture 2 | Metalogic |
| Lecture 3 | The Ineffability Theorem |
| Lecture 4 | Nonmonotonic Logic |
|
Mid Semester Break |
|
| Lecture 5 | Belief Change |
| Lecture 6 | Automated Reasoning Algorithms |
| Lecture 7 | Epistemic logic |
| Lecture 8 | Temporal logic |
| Lecture 9 | BDI agents and LORA |
| Lecture 10 (MP3) | SAT-solvers (Slides) |
| Lecture 11 (MP3) | First order predicate calculus (Slides) |
| Lecture 12 (MP3) | Datalog (Slides) |
| Lecture 13 (MP3) | Description logics (Slides) |
