A Tutorial at KR'12
University of Potsdam, Germany
with the great support of Martin Gebser, Roland Kaminski, and Benjamin Kaufmann
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.
This document was generated using the LaTeX2HTML translator Version 2008 (1.71)
Copyright © 1993, 1994, 1995, 1996,
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-03Torsten Schaub 2012-06-03