Comp304 & Comp521: Knowledge Representation and Reasoning (2019-2020)

Slides:

• 1. Introduction and Propositional Logic [full][handout]

  2. Modal Logic [full][handout]

  3. Epistemic Logic [full][handout]

  4. Description Logic [full][handout]

The slides come in two versions: the full version is the one I use during the lecture, including animations. The handout version does not include the animations.

Exercises:

• 1. Exercises about Propositional Logic [with solutions]

  2. Exercises about modal logic [Part 2][with solutions][more solutions]

  3. Exercises about epistemic logic [part 2][with solutions][more solutions]

  4. Exercises about description logic [part 2][part 3][with solutions][more solutions][even more solutions]

This year's class tests:

• 1. Class test 1[solutions]

  2. Class test 2[solutions]

Old Class Tests:

• 1. Class test 1

  2. Class test 2

Old Exams:

• 1. COMP304 (2018-2019) [solutions]

  2. COMP521 (2018-2019) [solutions]

Lecture streams:

Whenever possible, recordings of the lecture will be made available here. Barring technical difficulties the recordings will also appear on VITAL.