Answer set solving in practice, introduction, semantics (definition)
Channel: Potassco
Date: 2020-10-28

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 FHD version!