Grounding

Lecture slides

Lecture videos

playlist 1h59m20s

introduction yt up
naive grounding yt up
bottom-up grounding yt up
(semi-naive grounding) (yt)
on-the-fly simplifications yt up
rule instantiation yt up
summary yt up