Lecture slides

pdf git v1.18.0

Lecture videos

playlist 2h49m3s

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
  • normal programs
  • positive programs with variables
  • normal programs with variables
  • safety yt


learning ASP from examples nb git


  • 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