Current courses

2020-2021: COMP4620/COMP8620, Advanced Topics on Artificial Intelligence. This course is about decision making under uncertainty, together with Ethical AI (lectured by Atoosa Kasirzadeh).

Previous courses

2015:

• Logic Summer School: Slides

2012:

• Logic Summer School (2 hours on diagnosis of discrete event systems -- first set of slides, second set)
• COMP 3620: Artificial Intelligence (1 hour introductory lecture on Diagnosis -- slides)

2007:

• COMP8620: Advanced topics in AI (diagnosis and planning).
  Coordinator: Alban Grastien
  Teachers: Patrik Haslum (planning) and Alban Grastien (diagnosis)
  

2006:

• COMP3620 in ANU: AI, 9 hours lectures on diagnosis of static systems and classical planning (slides (I did not have time to correct all the mistakes): diag1, diag2, diag3, plan1, plan2, plan3, plan4, plan5, plan6)

2005:

• Logique et Intelligence Artificiel (logic and artificial intelligence) in IFSIC (France), 10 hours lectures on search + 24 hours lab

2004:

• Compilation in INSA de Rennes (France), 50 hours lab/tut

2003:

• Compilation in INSA de Rennes (France), 50 hours lab/tut
• Introduction to algorithmic for undergraduates in INSA de Rennes (France), 26 hours lectures/tut + 26 hours lab

2002:

• Introduction to algorithmic for undergraduates in INSA de Rennes (France), 52 hours lab