Answer set solving in practice, axiomatic characterization, loops

This video introduces salient concepts such as loops, their external support, and the resulting loop formulas - major concepts in ASP! *Errata* There is a bug on page 245 - see https://teaching.potassco.org/acharacterization/