Answer set solving in practice, solving, nogoods from logic programs, loop

This video shows how loop nogoods are derived from loop formulas and how they capture stable models together with completion nogoods