Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License.
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 PDF (current and changing)
- Motivation LaTeX PDF
- Introduction LaTeX PDF
- Basic Modeling LaTeX Bundle PDF
- Core Language LaTeX PDF
- Language Extensions LaTeX Bundle PDF
- Computational Aspects LaTeX Bundle PDF
- Characterizations LaTeX Bundle PDF
- (forthcoming) Grounding
- (preliminary) Solving LaTeX Bundle PDF
- (forthcoming) Advanced Modeling
- (forthcoming) Equivalence
- (preliminary) Potassco Systems PDF
- (preliminary) Constraint Solving LaTeX PDF
- (forthcoming) Modularity
- (preliminary) Incremental Solving LaTeX PDF
- (forthcoming) Reactive Solving
Slides (2011) Handout (2011) Moodle Documentation Support
Answer Set Programming, Tutorial at FMCAD'12
This crisp tutorial presents a practical introduction to Answer Set Programming (ASP), aiming at ASP's modeling methodology and systems.
Modeling and Solving in Answer Set Programming, Tutorial at KR'12
This short 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
- Esra Erdem, Joohyung Lee, and Yuliya Lierler. Theory and Practice of Answer Set Programming. Tutorial at AAAI'12. (Slides)
- Ilkka Niemelä. Answer Set Programming. Tutorial at ECAI'10. (Slides)
- Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner. Answer Set Programming: A Primer. Tutorial at RW'09. (Notes)
- Tran Cao Son. Answer Set Programming. Tutorial 2005. (Slides)
- Vladimir Lifschitz. Answer Set Programming. Tutorial at ESSLLI'04. (Notes)
Selected Literature
- Vladimir Lifschitz. Foundations of logic programming. Principles of Knowledge Representation, 69-127. CSLI Publications, 1996.
- Chitta Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003.
- Michael Gelfond. Answer sets. Handbook of Knowledge Representation, Chapter 7, 285-316. Elsevier Science, 2008.
- Patrik Simons, Ilkka Niemelä, and Timo Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2):181-234, 2002.
- Vladimir Lifschitz. Answer set programming and plan generation. Artificial Intelligence, 138(1-2):39-54, 2002.
- Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 7(3):499-562, 2006.
- Fangzhen Lin and Yuting Zhao. ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence, 157(1-2):115-137, 2004.
-
Niklas Een and Niklas Sörensson.
An Extensible SAT-solver.
Proceeedings SAT'03, 502-518.
Springer, 2004.
- Potassco Literature
Potassco Slide Packages are licensed under a Creative Commons Attribution 3.0 Unported License.