Knowledge Representation and Reasoning

Read the course schedule

• Slides of first session.

Part I: Answer Set Programming

I.A Theory

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

• 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

Part II: Web Data Management

II.A Theory

• Part II of the book Web Data Management

II.B Putting into Practice