Skip to content

Latest commit

 

History

History
67 lines (53 loc) · 2.39 KB

ocharacterization.md

File metadata and controls

67 lines (53 loc) · 2.39 KB
layout title permalink
page
Operational characterization
/ocharacterization/

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

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

pdf git v1.2.0