Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Ulm
Fakultät Ingenieurwissenschaften, Informatik und Psychologie
Institut für Künstliche Intelligenz

Adresse James-Franck-Ring
89081 Ulm
Deutschland

GERiT Diese Institution in GERiT

89081 Ulm

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Beantwortung Konjunktiver Anfragen für Ausdrucksstarke Beschreibungslogiken
    (Antragsteller Steigmiller, Andreas )
  - Live Ontologien - Unterstützung von automatischem Schlussfolgern in der Entwicklung von verteilten und sich ändernden OWL Ontologien
    (Antragsteller Kazakov, Yevgeny )
  - Systemunterstützte Modellierung, Planung und Durchführung komplexer Arbeitsprozesse
    (Antragstellerin Biundo-Stephan, Susanne )
  - Verarbeitung großer Datenmengen in Ontologien mittels Abstraktion und Verfeinerung
    (Antragstellerin Glimm, Birte )
  - Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken
    (Antragsteller von Henke, Friedrich W. )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr
    (Antragsteller von Henke, Friedrich W. )
Heisenberg-Stipendien
- abgeschlossene Projekte
  - Logische Methoden für die Entwicklung von Ontologien
    (Antragsteller Kazakov, Yevgeny )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Systemunterstützte Modellierung und Repräsentation von Wissen
    (Teilprojektleiterinnen / Teilprojektleiter Biundo-Stephan, Susanne ; von Henke, Friedrich W. )
Transregios
- abgeschlossene Projekte
  - Adaptive Planung und Entscheidungsfindung
    (Teilprojektleiterin Biundo-Stephan, Susanne )
  - Datenmanagement und Systemintegration
    (Teilprojektleiterinnen / Teilprojektleiter Biundo-Stephan, Susanne ; Wendemuth, Andreas )
  - Integriertes Graduiertenkolleg
    (Teilprojektleiterinnen / Teilprojektleiter Biundo-Stephan, Susanne ; Wendemuth, Andreas )
  - TRR 62: Eine Companion-Technologie für kognitive technische Systeme
    (Sprecherin Biundo-Stephan, Susanne )
  - Wissensmodellierung
    (Teilprojektleiterinnen / Teilprojektleiter Biundo-Stephan, Susanne ; Glimm, Birte ; Palm, Günther )
  - Zentrale Aufgaben des SFB/Transregio
    (Teilprojektleiterin Biundo-Stephan, Susanne )

© 2024 DFG Kontakt / Impressum / Datenschutz