Answer set solving in practice, axiomatic characterization, tightness
Channel: Potassco
Date: 20/12/2020

This video defines the property of tightness, making sure that a program's stable models coincide with its supported ones