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