Knowledge Representation and Reasoning

Part I: Answer Set Programming

I.A Theory

The first part of the course covers the logic programming paradigm known as Answer Set Programming (ASP).

Books and Articles

• My own slides on ASP.
• Answer Set Programming: A Primer
• Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski: Answer set programming at a glance. Commun. ACM 54(12): 92-103 (2011)
• Potassco (don’t forget to explore the documentation page!)
• Potassco User Guide
• Book Answer Set Solving in Practice (2012)
• Book by Vladimir Lifschitz (2019)

ASP Course

An excellent course on ASP by the experts, entitled « Answer Set Solving in Practice, » is available at the Potassco web site.

• Welcome page of the course
• Playlists by Torsten Schaub on Potassco Youtube channel
  1. Answer Set Solving in Practice (organization; 14 min.)
  2. Answer Set Solving in Practice (motivation; 72 min.)
  3. Answer Set Solving in Practice (introduction; 170 min.)
  4. Answer Set Solving in Practice (modeling; 106 min.)
  5. Answer Set Solving in Practice (language; 128 min.)
  6. Answer Set Solving in Practice (grounding; 119 min.)

I.B Putting into Practice (PiP)

• PiP 1 available in Moodle on February 7, 2024 (due on February 22, 2024)
• PiP 2 available in Moodle on February 18, 2024 (due on March 4, 2024)
• PiP 3 available in Moodle on February 26, 2024 (due on March 12, 2024)

I.C Project

The project consists in (i) realizing an ASP implementation, and (ii) running experiments for the problem to be announced.

Part II: Web Data Management

II.A Theory

The second part of the course covers aspects of Web Data Semantics and Integration. Course material is available at the following URLs.

• Part II of the book Web Data Management

II.B Putting into Practice