Detailseite
Person
Professor Dr.-Ing. Franz Baader
Adresse
Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Automatentheorie
01062 Dresden
- Als Antragsteller
- abgeschlossene Projekte
- Automatic Generation of Description Logic-based Biomedical Ontologies (Forschungsgruppen)
- Verifikation Nicht-Terminierender Aktionsprogramme (VERITAS) (Forschungsgruppen)
- Reparatur beschreibungslogischer Ontologien (Sachbeihilfen)
- abgeschlossene Projekte
- Als Sprecher
- abgeschlossene Projekte
- GRK 1763: Quantitative Logiken und Automaten (Graduiertenkollegs)
-
- abgeschlossene Projekte
- Als beteiligter Wissenschaftler
- Als Teilprojektleiter
- laufende Projekte
- Beschreibungslogische Erklärungen (Transregios)
- Interaktive Exploration visueller Modelle (Transregios)
-
- abgeschlossene Projekte
- Semantische Technologien zur Kontexterkennung (Sonderforschungsbereiche)
-
- laufende Projekte
- Als Beteiligte Person
