Our research and teaching centers upon knowledge-driven Artificial Intelligence. To this end, we study methods for Knowledge Representation and Reasoning on the formal, algorithmic, and implementation level. Our favorite approach is Answer Set Programming, and our group is well-known for the systems grouped in the associated open source project Potassco.