Foundations of AI and ML (FOAM)

Masters Course, Department of Computer Science, University of York, 2024

I presented the whole week on Logics for this Master’s level course, including the lecture, seminar and lab. As in last year’s version, this week focussed on:

  • knowledge-based agents
  • logic and entailment
  • propositional logic

The module description is here and archived here.