The topic of the Graduiertenkolleg is the representation and processing of knowledge. Recent theoretical results in philosophical logic and Artificial Intelligence so far have not lead to new kinds of application systems. On the other hand, requirements stemming from specific applications often are not sufficiently taken into account by theoretical researchers.
A major goal of our research is to bridge the gap between application and theory in knowledge representation. We want to investigate foundational questions in the light of specific applications stemming from business and medical informatics. We work on the following topics: