Just completed our part on computational aspects of ASP, featuring ASP solving from first principles - Enjoy!

slides videos workspace

This also includes a very first “blue board* along with an extra slide deck on the example of the propagation algorithm expand.

  • blue board, approximation pdf
  • expand example pdf