Lecture slides

pdf git v1.9.3

Lecture videos

playlist 1h22m50s

  • introduction yt up
  • fitting operator yt up
  • unfounded sets yt up
  • well-founded operator yt up
  • summary yt up

Blue board videos

  • well-founded operator, a yt up
  • well-founded operator, b yt up

Extra slides

  • partial interpretation pdf
  • fitting operator pdf
  • well-founded operator pdf

  • blue board, well-founded operator pdf


  • M. Truszczynski (2018). “An introduction to the stable and well-founded semantics of logic programs”. In: Declarative Logic Programming: Theory, Systems, and Applications. Ed. by M. Kifer and Y. Liu. ACM / Morgan & Claypool, pp. 121–177. pdf

Exercise sheets

pdf git v1.2.0