Lecture slides

pdf git v1.2.2 v1.6.1

Lecture videos

playlist 2h49m3s

Extra slides

  • cheat slide pdf
  • exemplars pdf

Exercise sheets

pdf git v1.1.0

Exercise videos

playlist

  • positive programs yt
  • normal programs yt
  • positive programs with variables yt
  • normal programs with variables yt
  • safety yt

Practice

learning ASP from examples 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