Teaching Answer Set Programming
Potassco teaching material for Answer Set Programming

Creative Commons License
Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License.

We have moved!

Our new web portal is at potassco.org.

Answer Set Programming, Course at University of Potsdam

This is a full-fledged lecture series over an entire semester. The teaching material follows our forthcoming 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))

Slides (2011) Handout (2011) Moodle Documentation Support Videos

Towards Embedded Answer Set Solving, Tutorial at CP'15

The focus of this short tutorial lies on recent techniques needed for embedding ASP in complex software environments. The tutorial starts with a short introduction to the essential formal concepts of ASP, needed for understanding its semantics and solving technology. The remainder is dedicated to using ASP in conjunction with Python for modeling complex reasoning scenarios. This involves an introduction to the API of clingo 4, an ASP system extending clasp and gringo with control capacities expressible in Python (and Lua). We illustrate this by developing a sample board game and its more sophisticated usage in preference handling and optimization.

Slides Documentation Support

Towards Embedded Answer Set Solving, Tutorial at RW'15

The focus of this half-day tutorial lies on recent techniques needed for embedding ASP in complex software environments. The tutorial starts with an introduction to the essential formal concepts of ASP, needed for understanding its semantics and solving technology. The remainder is dedicated to using ASP in conjunction with Python for modeling complex reasoning scenarios. This involves an introduction to the API of clingo 4, an ASP system extending clasp and gringo with control capacities expressible in Python (and Lua). We illustrate this by developing a sample board game and its more sophisticated usage in preference handling and optimization.

Slides Documentation Support

Answer Set Solving in Practice: Advanced techniques, Tutorial at IJCAI'15

This full-day tutorial presents a practical introduction to Answer Set Programming (ASP), aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's modeling language and methodology, grounding and solving technology, and finally details (Python-based) control techniques needed for embedding ASP in complex software environments.

Slides Resources Documentation Support

Answer Set Solving in Practice, Tutorial at IJCAI'13

This half-day tutorial presents a practical introduction to Answer Set Programming (ASP), aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while practically illustrating the overall solving process by examples.

Slides Resources Documentation Support

Answer Set Solving in Practice, Tutorial at AAAI'13

This half-day tutorial presents a practical introduction to Answer Set Programming (ASP), aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while practically illustrating the overall solving process by examples.

Slides Resources Documentation Support Video (Part I;Part II)

Answer Set Programming, Tutorial at FMCAD'12

This compact tutorial presents a practical introduction to Answer Set Programming (ASP), aiming at ASP's modeling methodology and systems.

Slides Documentation Support

Modeling and Solving in Answer Set Programming, Tutorial at KR'12

This half-day tutorial presents a practical introduction to Answer Set Programming (ASP), aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while practically illustrating the overall solving process by examples.

Slides Resources Documentation Support

Answer Set Solving in Practice, Tutorial at IJCAI'11

This full-day tutorial presents a practical introduction to Answer Set Programming (ASP), aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while practically illustrating the overall solving process by examples.

Slides Resources Documentation Support

Other Tutorials

Some talks of general interest

Selected Literature


Follow us at G+ SourceForge.net Logo Valid XHTML 1.0 Strict Creative Commons License
Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License.