layout | title | permalink |
---|---|---|
page |
Operational characterization |
/ocharacterization/ |
playlist 1h22m50s
- introduction yt up
- fitting operator yt up
- unfounded sets yt up
- well-founded operator yt up
- summary yt up
-
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