2023-24

• Spring term: Modal Logics for Strategic Reasoning in AI (COMP70031) [slides]
• Winter term: Introduction to Symbolic AI (COMP70077) [slides]