Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Universität Ulm
Fakultät Ingenieurwissenschaften, Informatik und Psychologie
Institut für Künstliche Intelligenz
Address
James-Franck-Ring
89081 Ulm
Deutschland
GERiT
This institution in GERiT
89081 Ulm
Projects
Research Grants
Completed projects
Conjunctive Query Answering for Expressive Description Logics
(Applicant
Steigmiller, Andreas
)
Live Ontologies - Reasoning Support for the Development of Distributed and Dynamically Changing OWL Ontologies
(Applicant
Kazakov, Yevgeny
)
Reasoning over Large Amounts of Data in Ontologies via Abstraction and Refinement
(Applicant
Glimm, Birte
)
Systemunterstützte Modellierung, Planung und Durchführung komplexer Arbeitsprozesse
(Applicant
Biundo-Stephan, Susanne
)
Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken
(Applicant
von Henke, Friedrich W.
)
Priority Programmes
Completed projects
Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
(Applicant
von Henke, Friedrich W.
)
Heisenberg Fellowships
Completed projects
Logical Methods for Ontology Engineering
(Applicant
Kazakov, Yevgeny
)
Collaborative Research Centres
Completed projects
Systemunterstützte Modellierung und Repräsentation von Wissen
(Project Heads
Biundo-Stephan, Susanne
;
von Henke, Friedrich W.
)
CRC/Transregios
Completed projects
Adaptive Planning and Decision-Making
(Project Head
Biundo-Stephan, Susanne
)
Data Management and System Integration
(Project Heads
Biundo-Stephan, Susanne
;
Wendemuth, Andreas
)
Integrated Research Training Group
(Project Heads
Biundo-Stephan, Susanne
;
Wendemuth, Andreas
)
Knowledge Modeling
(Project Heads
Biundo-Stephan, Susanne
;
Glimm, Birte
;
Palm, Günther
)
Project Management and Coordination
(Project Head
Biundo-Stephan, Susanne
)
TRR 62: Companion-Technology for Cognitive Technical Systems
(Spokesperson
Biundo-Stephan, Susanne
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung