Operational characterization

Lecture slides

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

Literature

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