Grounding Lecture slides pdf git v1.6.5 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