pathemeous / krr-course-2021

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

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 page on Datanose
• Course page on Canvas
• Discourse board for the 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:
  • Some additional theoretical aspects of ASP
  • Preparing for the final exam
  • The final exam

Lectures

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: TBA
  • Tuesday June 22, 11:00–13:00: TBA
  • Wednesday June 23, 13:00–15:00: Q&A session

Overview of materials

• Pointers to reading and additional video material