This page containes the material for the course
Logical methods for
AI
as taught at
Utrecht
University
.
The material is intended for students taking the course, but it’s freely
available to anyone interested.
Instructions!

The course has 12 lectures.

Each lecture lecture has a chapter from the textbook. Read the chapter
before the lecture.

During the lecture, you can follow along with the slides. Ask questions!

Each lecture has an exercise set. After the lecture, there’s a tutorial to
work on it and hand in homework.

The quizzes help you prepare for the final. They are not graded.