Skip to content


Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?

Latest commit


Git stats


Failed to load latest commit information.
Latest commit message
Commit time

Materials for the 2021 KRR course

This repository contains (pointers to) material for the 2021 edition of the course 'Knowledge Representation and Reasoning' at the University of Amsterdam.

Other places for this course:

Course outline

The main learning goal of the course is to understand the theory and practice of Answer Set Programming (ASP), and to learn how to use ASP to solve problems that have a combinatorial aspect to them.

The course will take four weeks. We will do (roughly) the following in the four weeks:

  • Week 1:
    • Introduction to the area of Knowledge Representation and Reasoning
    • Propositional satisfiability and SAT solving
    • Basics of Answer Set Programming
  • Week 2:
    • The ASP problem modelling and solving workflow
    • Practice problem modelling and solving
    • Homework assignment (theoretical)
  • Week 3:
    • Advanced ASP features and techniques
    • Advanced problem modelling and solving
    • Homework assignment (programming)
  • Week 4:
    • Preparing for the final exam
    • The final exam


This is the schedule of lectures, together with the topics of the lectures. All lectures will take place online via Zoom (for a link, see Canvas).

Note: This schedule might still change slightly.

  • Week 1:
    • Monday May 31, 11:00–13:00: Introduction, combinatorial problems, basics of complexity theory
    • Tuesday June 1, 11:00–13:00: Introduction to Answer Set Programming (ASP) – Part 1
    • Thursday June 3, 13:00–15:00: Introduction to Answer Set Programming (ASP) – Part 2, Propositional satisfiability (SAT)
  • Week 2:
    • Monday June 7, 11:00–13:00: Problem modelling in ASP
    • Tuesday June 8, 11:00–13:00: More ASP features
    • Thursday June 10, 13:00–15:00: Further ASP modelling
  • Week 3:
    • Monday June 14, 11:00–13:00: Algorithms: search and propagation
    • Tuesday June 15, 11:00–13:00: Advanced ASP technique: saturation
    • Thursday June 17, 13:00–15:00: Q&A session
  • Week 4:
    • Monday June 21, 11:00–13:00: Q&A session
    • Tuesday June 22, 11:00–13:00: Outlook: connections to some other topics
    • Wednesday June 23, 13:00–15:00: Q&A session

Overview of materials


Materials for 2021 edition of the course 'Knowledge Representation and Reasoning'







No releases published


No packages published