Introduction

Lecture slides

pdf git v1.18.0

Lecture videos

playlist 2h49m3s

• introduction yt up
• syntax yt up
• semantics
  • setup yt up
  • closure yt up
  • idea yt up
  • definition yt up
  • exemplars yt up
• reasoning yt up
• language yt up
• variables yt up
• summary yt up

Videos follow the slides of v1.2.2

Extra slides

• cheat slide pdf
• exemplars pdf
• equilibrium logic pdf

Exercise sheets

pdf git v1.1.0

Exercise videos

playlist playlist

• positive programs
  • a yt
  • b yt
  • c yt
  • d yt
• normal programs
  • a yt
  • b yt
  • c yt
  • d yt
• positive programs with variables
  • intro yt
  • a yt
  • b yt
  • c yt
  • d yt
• normal programs with variables
  • intro yt
  • a yt
  • b yt
  • c yt
  • d yt
• safety yt

Practice

learning ASP from examples nb git

• without variables nb git
• with variables nb git

Literature

• M. Gelfond and V. Lifschitz (1990). “Logic Programs with Classical Negation”. In: Proceedings of the Seventh International Conference on Logic Programming (ICLP’90). Ed. by D. Warren and P. Szeredi. MIT Press, pp. 579-597. pdf