Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Automatentheorie
Address
01062 Dresden
Deutschland
GERiT
This institution in GERiT
01062 Dresden
Projects
Research Grants
Current projects
Practical Planning with Ontologies
(Applicant
Borgwardt, Stefan
)
Completed projects
Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation
(Applicant
Grädel, Erich
)
Algorithms and Complexity of Logical Decision Problems and their Application in Knowledge Representation
(Applicant
Baader, Franz
)
Algorithms and Complexity of Logical Decision Problems and their Application in Knowledge Representation
(Applicant
Baader, Franz
)
Beschreibungslogiken mit existentiellen Quantoren und polynominellen Subsumtionsproblem und ihre Anwendung im Bereich biomedizinischer Ontologien
(Applicant
Baader, Franz
)
Generating and Answering Ontological Queries over Semi-structured Medical Data
(Applicant
Baader, Franz
)
Kombination von Aktionsformalismen und Beschreibungslogiken zur Entwicklung von Methoden zum Schließen über Aktionen in komplexen, strukturierten Umgebungen
(Applicant
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
(Applicant
Baader, Franz
)
Kombination von Modal- und Beschreibungslogiken und ihre Anwendung zur Repräsentation intensionalen und dynamischen Wissens
(Applicant
Baader, Franz
)
Neuartige Schlussfolgerungsverfahren zur Unterstützung des Aufbaus und der Wartung von Wissensbasen in Beschreibungslogiken
(Applicant
Baader, Franz
)
Reasoning and Query Answering Using Concept Similarity Measures and Graded Membership Functions
(Applicant
Baader, Franz
)
Reasoning in Fuzzy Description Logics with General Concept Inclusion Axioms
(Applicant
Baader, Franz
)
Repairing Description Logic Ontologies
(Applicant
Baader, Franz
)
Unification in Description Logics for Avoiding Redundancies in Medical Ontologies
(Applicant
Baader, Franz
)
Vervollständigung von beschreibungslogischen Wissensbasen mit Hilfe von Methoden der Formalen Begriffsanalyse auf partiellen Kontexten
(Applicant
Baader, Franz
)
Research Units
Completed projects
Automatic Generation of Description Logic-based Biomedical Ontologies
(Applicants
Baader, Franz
;
Schroeder, Michael
)
Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum Entropy
(Applicants
Baader, Franz
;
Kern-Isberner, Gabriele
)
Verification of Non-Terminating Action Programs (VERITAS)
(Applicants
Baader, Franz
;
Lakemeyer, Ph.D., Gerhard
)
Collaborative Research Centres
Completed projects
Semantic Technology for Context Awareness
(Project Heads
Baader, Franz
;
Turhan, Anni-Yasmin
)
CRC/Transregios
Current projects
Description Logic Explications
(Project Heads
Baader, Franz
;
Borgwardt, Stefan
;
Krötzsch, Markus
;
Krüger, Antonio
;
Weidenbach, Christoph
)
Interactive Exploration of Visual Models
(Project Heads
Baader, Franz
;
Baier, Christel
;
Dachselt, Raimund
)
Safe Handover in Mixed-Initiative Control
(Project Heads
Borgwardt, Stefan
;
Demberg, Vera
;
Hoffmann, Jörg
;
Krüger, Antonio
)
Research Training Groups
Completed projects
GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics
(Spokesperson
Vogler, Heiko
)
GRK 1763: Quantitative Logics and Automata
(Spokesperson
Baader, Franz
)
GRK 1907: RoSI: Role-based Software-Infrastructures for Continuous-Context-Sensitive Systems
(Spokesperson
Lehner, Wolfgang
)
Clusters of Excellence
Completed projects
EXC 1056: Center for Advancing Electronics Dresden (cfAED)
(Spokesperson
Fettweis, Gerhard P.
)
