Lecture slides

pdf git v1.3.1

Encodings

Lecture videos

playlist 1h46m25s

Practice

basic modeling exercises nb git

Projects

all nb git

Tutorial slides

pdf git v1.2.0

Tutorial videos

playlist

  • organization yt
  • motivation yt
  • motivation, declarative problem solving yt
  • motivation, asp in a nutshell yt
  • introduction, introduction yt
  • introduction, first example yt
  • introduction, running first example yt
  • introduction, second example yt
  • introduction, examples summary yt
  • introduction, variables first example yt
  • introduction, variables second example yt
  • introduction, recursion first yt
  • introduction, recursion second yt
  • introduction, recursion and negation yt
  • introduction, summary yt