Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Dresden
Institut für Künstliche Intelligenz
Professur für Computational Logic

Address 01062 Dresden
Deutschland

GERiT This institution in GERiT

01062 Dresden

Projects

Research Grants
- Completed projects
  - ExpresST - Expressive Querying for Semantic Technologies
    (Applicant Rudolph, Sebastian )
CRC/Transregios
- Current projects
  - Composition and Abstraction with Explications
    (Project Heads Apel, Sven ; Baier, Christel ; Gaggl, Sarah Alice ; Hermanns, Holger )
  - Knowledge-Driven Inspection
    (Project Heads Apel, Sven ; Dachselt, Raimund ; Gaggl, Sarah Alice ; Krötzsch, Markus ; Krüger, Antonio )
Research Training Groups
- Completed projects
  - GRK 1763: Quantitative Logics and Automata
    (Spokesperson Baader, Franz )

© 2024 DFG Disclaimer / Copyright / Privacy Policy