Modeling and Solving in Answer Set Programming

A Tutorial at KR'12

Torsten Schaub
University of Potsdam, Germany

with the great support of Martin Gebser, Roland Kaminski, and Benjamin Kaufmann

Short Description

The 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.

All involved ASP systems are freely available from

Topics of the Tutorial

  1. Motivation
  2. Introduction
  3. Basic modeling
  4. Solving
  5. Advanced modeling
  6. Systems



Drop me an email at for any questions.


C. Baral.
Knowledge Representation, Reasoning and Declarative Problem Solving.
Cambridge University Press, 2003.

M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub, and M. Schneider.
Potassco: The Potsdam answer set solving collection.
AI Communications, 24(2):105-124, 2011.

M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub.
Conflict-driven answer set solving.
In M. Veloso, editor, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pages 386-392. AAAI Press/The MIT Press, 2007.

About this document ...

This document was generated using the LaTeX2HTML translator Version 2008 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 summary

The translation was initiated by torsten on 2012-06-03

Torsten Schaub 2012-06-03