University of Potsdam

Prof. Dr. Torsten Schaub

Am neuen Palais 10

14469 Potsdam


Fon: +49 331 9773080

The Knowledge Representation and Reasoning (KRR) Group at the University of Potsdam was founded in 1997 with the arrival of Torsten Schaub. Since then, the members of the group have gathered internationally recognized expertise in the field of KRR, in particular the area of Answer Set Programming (ASP). The latter activity has led to the open source project Potassco (, the Potsdam Answer Set Solving Collection, bundling tools for ASP developed by the KRR group at Potsdam. As regards Ambient Assisted Living (AAL), the research group is a part of the Potsdam Assisted Living Initiative.

The research interests of the group lies in the field of Knowledge Representation and Automated Reasoning. To this end, we develop highly effective reasoning tools based on Boolean Constraint Technology ( for addressing knowledge-intense reasoning tasks, like configuration, design, diagnosis, monitoring, planning, prediction, etc. Of particular interest to the project is the reactive reasoning engine that has been currently used for knowledge-enriched sensor fusion and (indoor) localization. Moreover, the group currently investigates therapy design and monitoring based on Nintendo's Wii platform. Since 2 years UP runs several students project groups on Wii-based exercises for elderly in cooperation with the Institute for Sportsmedicine and Rehabilitation.