Teaching
Current Teaching

2023-24

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