Answer set solving in practice, introduction, semantics, part IV (HD)
Channel: Potassco
Date: 2020-10-27

This video finally introduces the definition of a stable model. It was quite a journey but I hope that the lessons learned were worth it :)

This is the HD version; check out the FHD version!