Answer Set Solving in Practice (Tutorial) Jun 29, 2026 AAAI’13, Seattle, USA, Video (part one 1:28:21, part two 1:59:22), Slides