Answer set solving in practice, introduction, variables
Channel: Potassco
Date: 2020-10-31

This video introduces logic programs with variables and sketches grounding procedures for safe programs