Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Automatentheorie
Adresse
01062 Dresden
Deutschland
GERiT
Diese Institution in GERiT
01062 Dresden
Projekte
Sachbeihilfen
laufende Projekte
Praktisches Planen mit Ontologien
(Antragsteller
Borgwardt, Stefan
)
abgeschlossene Projekte
Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissenspräsentation
(Antragsteller
Baader, Franz
)
Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation
(Antragsteller
Grädel, Erich
)
Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation
(Antragsteller
Baader, Franz
)
Beschreibungslogiken mit existentiellen Quantoren und polynominellen Subsumtionsproblem und ihre Anwendung im Bereich biomedizinischer Ontologien
(Antragsteller
Baader, Franz
)
Erzeugung und Beantwortung ontologischer Anfragen über semistrukturieren medizinischen Daten
(Antragsteller
Baader, Franz
)
Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen
(Antragsteller
Baader, Franz
)
Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen und ihre Anwendung zur Beschreibung von Services im Semantischen Web
(Antragsteller
Baader, Franz
)
Kombination von Modal- und Beschreibungslogiken und ihre Anwendung zur Repräsentation intensionalen und dynamischen Wissens
(Antragsteller
Baader, Franz
)
Neuartige Schlussfolgerungsverfahren zur Unterstützung des Aufbaus und der Wartung von Wissensbasen in Beschreibungslogiken
(Antragsteller
Baader, Franz
)
Reparatur beschreibungslogischer Ontologien
(Antragsteller
Baader, Franz
)
Schlußfolgerungsverfahren für fuzzy Beschreibungslogiken mit allgemeinen Inklusionsaxiomen
(Antragsteller
Baader, Franz
)
Schlussfolgerung und Anfragebeantwortung unter Verwendung von Konzeptähnlichkeitsmaßen und graduellen Elementbeziehungen
(Antragsteller
Baader, Franz
)
Unifikation in Beschreibungslogiken zur Vermeidung von Redundanzen in medizinischen Ontologien
(Antragsteller
Baader, Franz
)
Vervollständigung von beschreibungslogischen Wissensbasen mit Hilfe von Methoden der Formalen Begriffsanalyse auf partiellen Kontexten
(Antragsteller
Baader, Franz
)
Forschungsgruppen
abgeschlossene Projekte
Automatic Generation of Description Logic-based Biomedical Ontologies
(Antragsteller
Baader, Franz
;
Schroeder, Michael
)
Probabilistische Beschreibungslogiken unter Verwendung der Aggregationssemantik und dem Prinzip maximaler Entropie
(Antragstellerinnen / Antragsteller
Baader, Franz
;
Kern-Isberner, Gabriele
)
Verifikation Nicht-Terminierender Aktionsprogramme (VERITAS)
(Antragsteller
Baader, Franz
;
Lakemeyer, Ph.D., Gerhard
)
Sonderforschungsbereiche
abgeschlossene Projekte
Semantische Technologien zur Kontexterkennung
(Teilprojektleiterinnen / Teilprojektleiter
Baader, Franz
;
Turhan, Anni-Yasmin
)
Transregios
laufende Projekte
Beschreibungslogische Erklärungen
(Teilprojektleiter
Baader, Franz
;
Borgwardt, Stefan
;
Krötzsch, Markus
;
Krüger, Antonio
;
Weidenbach, Christoph
)
Interaktive Exploration visueller Modelle
(Teilprojektleiterinnen / Teilprojektleiter
Baader, Franz
;
Baier, Christel
;
Dachselt, Raimund
)
Sichere Übergabe der Kontrolle bei gemischter Initiative
(Teilprojektleiterinnen / Teilprojektleiter
Borgwardt, Stefan
;
Demberg, Vera
;
Hoffmann, Jörg
;
Krüger, Antonio
)
Graduiertenkollegs
abgeschlossene Projekte
GRK 334: Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken
(Sprecher
Vogler, Heiko
)
GRK 1763: Quantitative Logiken und Automaten
(Sprecher
Baader, Franz
)
GRK 1907: RoSI: Rollenbasierte Software-Infrastrukturen für durchgängig-kontextsensitive Systeme
(Sprecher
Lehner, Wolfgang
)
Exzellenzcluster
abgeschlossene Projekte
EXC 1056: Zentrum für Perspektiven in der Elektronik Dresden
(Sprecher
Fettweis, Gerhard P.
)
