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

This video illustrates stable models semantics with a few examples, gives some properties, and lists some exemplary rules interactions

This is the FHD version!