Answer set solving in practice, introduction, semantics (setup)

Published --