Teaching
This is a Lecture series at the University of Potsdam about Answer Set Programming for an entire semester. The teaching material follows our book on Answer Set Solving in Practice.
Note that the material is still expanding and subject to change.
All Slides LaTeX Bundle and PDF (current and changing; Gringo 3 version (G3))
- Main LaTeX
- Macro LaTeX
- Motivation LaTeX Bundle PDF
- Introduction LaTeX Bundle PDF (G3: LaTeX PDF)
- Basic Modeling LaTeX Bundle PDF (G3: LaTeX Bundle PDF) Videos (One, Two)
- Language LaTeX Bundle PDF (G3: LaTeX Bundle PDF)
- Language Extensions LaTeX Bundle PDF (G3: LaTeX Bundle PDF)
- Grounding LaTeX PDF (preliminary)
- Computational Aspects LaTeX Bundle PDF
- Characterizations LaTeX Bundle PDF
- Solving LaTeX Bundle PDF
- Mult-shot Solving LaTeX Bundle PDF
- Theory Solving LaTeX Bundle PDF
- Heuristic Programming LaTeX Bundle PDF
- Potassco Systems LaTeX Bundle PDF (preliminary; no G3 specifics)
- Advanced Modeling LaTeX Bundle PDF (preliminary; G3: LaTeX Bundle PDF)
- Preferences and Optimization LaTeX PDF
Slides (2011) Handout (2011) Moodle Videos
Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License.
