This repository contains (pointers to) material for the 2021 edition of the course 'Knowledge Representation and Reasoning' at the University of Amsterdam.
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
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: Modelling complex problems in ASP
- 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: More complexity theory and connections to ASP
- Tuesday June 22, 11:00–13:00: Conflict-driven search
- Wednesday June 23, 13:00–15:00: Q&A session