Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
English
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
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
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung