K 4 Interkulturalität und Ethnologie

This seminar covers recent topics from theoretical computer science and is held by Prof Franz Baader and PD Anni-Yasmin Turhan. In this semester we focus on approaches for realising reasoning in Description Logics by the use of automata.