COMP24412: Symbolic Artificial Intelligence

This course is being delived by Giles Reger, Andre Freitas, and Joe Razavi. Please see the School syllabus page for other information.

Aims and objectives

The aim of this course is to provide the conceptual and practical (systems building) foundations for knowledge representation and reasoning in Artificial Intelligence.

A student completing this course unit should be able to:


Lecture and Lab notes and materials will be available from Blackboard for the first half of the course and from here for the second half. As per School policy, we will not be providing hard copies of notes.



There are 5 lab exercises grouped into three assessments. Labs are assessed offline (there is no face-to-face marking). There are three Blackboard quizzes in weeks 5, 7, and 10.

Suggested Reading


Please note that the course has changed considerably this in 2018/19 and previous exams should be treated with care - they are not indicative of content or style.

Check out the following sites: