Release of first version of solving part

This constitutes the final slides stack used for recording the part on solving.

Videos of this part part can be found at the urls listed in VIDEO.md.

Most of the LaTeX source of this release can be found at https://github.com/potassco-asp-course/solving
included as a submodule in https://github.com/potassco-asp-course/course

Bug fix in loops reloaded result

This is just a bug fix in the part on axiomatic characterization; need to enforce a model of the program in the very last result

Release of first version of part on proof-theoretic characterization

This release simply marks the migration of the material on proof-theoretic characterizations (via tableau)

Release of first version of part on operational characterization

This constitutes the final slides stack used for recording the part on the operational characterization of stable models.

Videos of this part part can be found at the urls listed in VIDEO.md.

Most of the LaTeX source of this release can be found at https://github.com/potassco-asp-course/operational-characterization
included as a submodule in https://github.com/potassco-asp-course/course

Release of first version of part on axiomatic characterization

This constitutes the final slides stack used for recording the part on the axiomatic characterization of stable models.

Videos of this part part can be found at the urls listed in VIDEO.md.

Most of the LaTeX source of this release can be found at https://github.com/potassco-asp-course/axiomatic-characterization
included as a submodule in https://github.com/potassco-asp-course/course

Release of first version of computation part

This constitutes the final slides stack used for recording the part on computational aspects.

Videos of this part part can be found at the urls listed in README.md.

Most of the LaTeX source of this release can be found at https://github.com/potassco-asp-course/computation
included as a submodule in https://github.com/potassco-asp-course/course

Release of first version of grounding part

This constitutes the final slides stack used for recording the part on grounding.

Videos of this part part can be found at the urls listed in VIDEO.md.

Most of the LaTeX source of this release can be found at https://github.com/potassco-asp-course/grounding
included as a submodule in https://github.com/potassco-asp-course/course

Fixing typo in slide deck on introduction part

fixes typo on page 30, transposing true and `false

Migration of material on language extension

This release merely gathers migrated material on language extensions

Release of first version of language part

This constitutes the slides stack used for recording the part on language.

Videos of this part part can be found at the urls listed in README.md.

Most of the LaTeX source of this release can be found at https://github.com/potassco-asp-course/language
included as a submodule in https://github.com/potassco-asp-course/course