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 http://potassco.sourceforge.net.

Topics of the Tutorial

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

Material

• KR'12 Lecture slides (3h)
• IJCAI'11 Lecture slides (8h)
• IJCAI'11 Lecture examples (also available as inline attachment to slides)
• Collection on ASP
• ASP Course at University of Potsdam in 2012 (14 lectures; Slides ; Handout )
• Potassco user's manual and overview
• This file as PDF or HTML

Contact

Drop me an email at torsten@cs.uni-potsdam.de for any questions.

Bibliography

1

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

2

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.

2

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