Detailseite
Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Automatentheorie
- Sachbeihilfen
- Forschungsgruppen
- Sonderforschungsbereiche
-
abgeschlossene Projekte
-
Semantische Technologien zur Kontexterkennung(Teilprojektleiterinnen / Teilprojektleiter Baader, Franz ; Turhan, Anni-Yasmin )
-
-
abgeschlossene Projekte
- Transregios
-
laufende Projekte
-
Beschreibungslogische Erklärungen(Teilprojektleiter Baader, Franz ; Borgwardt, Stefan ; Krötzsch, Markus ; Krüger, Antonio ; Weidenbach, Christoph )
-
Sichere Übergabe der Kontrolle bei gemischter Initiative(Teilprojektleiterinnen / Teilprojektleiter Borgwardt, Stefan ; Demberg, Vera ; Hoffmann, Jörg ; Krüger, Antonio )
-
-
laufende Projekte
- Graduiertenkollegs
- Exzellenzcluster