Knowledge Processing and Information Systems
Home

Knowledge-Driven Artificial Intelligence

Knowledge Representation and Reasoning at the University of Potsdam

Our group focuses on the formal, algorithmic, and implementation levels of Knowledge Representation and Reasoning. We bridge the gap between theoretical foundations, practical implementation, and industrial-grade AI.

🔬 Research and Systems

Our primary research vehicle is Answer Set Programming (ASP). We are the home of the Potassco project, a suite of high-performance tools for combinatorial optimization and reasoning.

Open Source: Explore our solvers and tools at potassco.org.
Industry Integration: Our spin-off, Potassco Solutions, provides custom integration and professional support for industrial applications.

🏛️ Group and Research

Resource	Description
People	Meet our researchers, staff, and collaborators.
Publications	Access our latest papers and conference contributions.

🎓 Student Resources

Resource	Description
PULS	University portal for course registration and exams.
Moodle.UP	Internal learning management system and course materials.

Join us: Interested in a thesis or research collaboration? Check our People page for specific contact details or visit us at the Institute of Computer Science.