Torsten Shaub (Home Page)
Institut für Informatik Universität Potsdam, Germany

Received his diploma and dissertation in informatics in 1990 and 1992, respectively, from the TechnicalUniversity of Darmstadt, Germany. He received his habilitation in informatics in 1995 from the University of Rennes I, France. From 1990 to 1993 he was a Researcher at the Technical University at Darmstadt. From 1993 to 1995, he was a Research Associate at IRISA/INRIA at Rennes. From 1995 to 1997, he was University Professor at the University of Angers. At Angers he founded the researchgroup FLUX dealing with the automatisation of reasoning from incomplete, contradictory, and evolutive information. Since 1997, he is University Professor for knowledge processing and information systems at the University of Potsdam. In 1999, he became Adjunct Professor at the School of Computing Science at Simon Fraser University, Canada; and since 2006 he is also an Adjunct Professor in the Institute for Integrated and Intelligent Systems at Griffiths University, Australia. His research interests range from the theoretic foundations to the practical implementation of methods for reasoning from incomplete and/or inconsistent information, in particular Answer set programming.

Title: Potassco, the Potsdam Answer Set Solving Collection.
Abstract
Answer Set Programming (ASP) is on the verge of leaving the academic ivory tower and becoming an interesting alternative to established declarative solving paradigms in many application areas. This is due to its appealing combination of a highly expressive yet simple modeling language with high performance solving technology. Nonetheless certain applications require extensions or even an integration with other computing paradigms in order to be successfully solved. We discuss some of these extensions to ASP and elaborate upon the resulting systems available from potassco.sourceforge.net.