Documentation
- For clingo series 6, the interactive Potassco Guide lets you try clingo online and provides a quick introduction to clingo’s input language, modeling examples, and usage.
- A comprehensive documentation of our software (and older clingo releases) can be found in the Potassco PDF Guide
Teaching
- We have a dedicated webpage with a lot of teaching material for Answer Set Programming. This includes lecture slides, exercises, and solutions for courses on ASP and related topics.
- You find our teaching videos on the Potassco Youtube channel.
Books
Answer Set Solving in Practice
“This book presents a practical introduction to 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 illustrating the overall solving process by practical examples.’’
Available at: Springer, Amazon.com, Amazon.de (Example programs: zip, tgz)
Answer Set Programming
“The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions.’’
Available at: Springer, Amazon.com, Free draft