| layout | title | permalink | weight | menu |
|---|---|---|---|---|
page |
Teaching |
/teaching/ |
4 |
main |
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
-
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)
-
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)
Slides (2011) Handout (2011) Moodle Videos
Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License.