The main repository integrating the LaTeX beamer-based slides for a MSc class on ASP

• mostly implemented by LaTeX' \part and \section commands
• separate slides with % followed by 70 -

• use \neg for (default) negation in view of the logic of Here-and-There (was \naf before)

• use itemize environments with \structure{} (rather than description environment)

1. Clone main repository [email protected]:potassco-asp-course/course.git
2. Go to course cd course
3. Retrieve submodules git submodule update --init --recursive
4. Run latexmk main.tex

1. uncomment
   1. \includeonlylecture and
   2. {<target>,goodbye,bibliography} in main.tex
2. run latexmk main.tex
3. rename main.pdf into <target>.pdf
4. undo above edits, latexmk main.tex again
5. produce a release attaching both files
6. link released files in webspace

Moved the list of videos to VIDEO.md