Lecture slides

pdf git v.21.0

Literature

  • R. Kaminski, J. Romero, T. Schaub, and P Wanko (2023). “How to build your own ASP-based system?!”. In: Theory and Practice of Logic Programming 23.1, pp. 299-361. pdf
  • M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub (2019). “Multi-shot ASP solving with clingo”. In: Theory and Practice of Logic Programming 19.1, pp. 27-82. pdf