Answer set solving in practice, axiomatic characterization, tightness

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