Lecture slides

pdf git v1.11.6

Lecture videos

playlist 2h32m58s

  • introduction yt up
  • boolean constraints yt up
  • nogoods from logic programs
    • completion nogoods yt up
    • loop nogoods yt up
  • conflict-driven nogood learning
    • introduction yt up
    • cdnl search algorithm yt up
    • nogood propagation yt up
    • conflict analysis yt up
  • summary yt up

Blue board videos

  • conflict-driven nogood learning, search algorithm yt up
  • conflict-driven nogood learning, conflict analysis, resolution yt up

Extra slides

  • nogoods, solutions, and unit propagation pdf

  • blue board, conflict-driven nogood learning, search algorithm pdf
  • blue board, conflict-driven nogood learning, conflict analysis pdf

Literature

  • M. Gebser, B. Kaufmann, and T. Schaub (2012). “Conflict-Driven Answer Set Solving: From Theory to Practice”. In: Artificial Intelligence 187-188, pp. 52-89. pdf

Exercise sheets

pdf git v1.2.0

Exercise videos

playlist

  • nogoods yt
  • nogoods and propagation yt
  • conflict analysis yt
  • cdnl-asp 1 yt
  • cdnl-asp 2 yt