study-materials.md

Studying materials

This is a list containing references to reading materials and external video materials that you can use.

Reading materials

For the bulk of the course, we will use the book Answer Set Solving in Practice [Gebser, Kaminski, Kaufmann, Schaub, 2012]. This books explains the features of ASP in a natural order, using the modern ASP solving system clingo.

Important! The syntax used by the latest version of clingo differs slightly (in some places) from the syntax used in [Gebser, Kaminski, Kaufmann, Schaub, 2012]. Use the syntax described in the [Potassco Guide] when working with (the latest versions of) clingo.

• [Gebser, Kaminski, Kaufmann, Schaub, 2012]: Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. Answer Set Solving in Practice, Morgan & Claypool, 2012.
• [Potassco Guide]: Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Marius Lindauer, Max Ostrowski, Javier Romero, Torsten Schaub, Sven Thiele, and Philipp Wanko. Potassco User Guide v2.2.0, 2019.
• [Russell, Norvig, 2016]: Stuart Russell, and Peter Norvig. Artificial Intelligence: A Modern Approach (3rd Ed.), Prentice Hall, 2016.

Relevant reading, per week:

• Week 1:
  • Chapters 1 and 2 of [Gebser, Kaminski, Kaufmann, Schaub, 2012].
  • Chapters 1, 2 and 3 of the [Potassco Guide]. – for reference (e.g., for the right syntax).
    • Except for Sections 3.1.14 and 3.2
  • Sections 6.1–6.3, 7.4 and 7.6.1 of [Russell, Norvig, 2016].
  • Sections A.1 of [Russell, Norvig, 2016].
• Week 2:
  • Chapter 3 of [Gebser, Kaminski, Kaufmann, Schaub, 2012].
  • Chapter 6 of the [Potassco Guide] – for reference (e.g., for the right syntax).
• Week 3:
  • Chapter 8 of [Gebser, Kaminski, Kaufmann, Schaub, 2012].
• Week 4:
  • Chapter 6 of [Gebser, Kaminski, Kaufmann, Schaub, 2012].

External video materials

If you prefer pre-recorded video lectures to study the material, the following material can be useful. This material is from a recent online edition of a graduate course on answer set programming taught by Torsten Schaub at the University of Potsdam. This online course covers more/different material than what we will cover. The following lectures are (directly) relevant to the topics of this course.

• Week 1:
  • The Motivation lecture(s)
  • The Introduction lecture(s)
• Week 2:
  • The Modelling lecture(s)
  • The Language lecture(s)