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

Detailseite

Institution

Druckansicht

Karlsruher Institut für Technologie (KIT)
Institut für Angewandte Informatik und
Formale Beschreibungsverfahren (AIFB)

Adresse Postfach 6980
76049 Karlsruhe
Deutschland

GERiT Diese Institution in GERiT

76049 Karlsruhe

Projekte

Sachbeihilfen
- laufende Projekte
  - Accountable Artificial Intelligence-based Systems: Eine Multi-Perspektivische Analyse (AAIS)
    (Antragsteller Benlian, Alexander ; Sunyaev, Ali )
- abgeschlossene Projekte
  - ExpresST - Expressive Querying for Semantic Technologies
    (Antragsteller Rudolph, Sebastian )
  - Juristisch-informatische Modellierung von Online-Wahlen
    (Antragsteller Buchmann, Johannes ; Grimm, Rüdiger ; Roßnagel, Alexander )
  - Lernfähiges selbst-adaptierendes Gesamtmaschinenmanagement in mobilen Arbeitsmaschinen
    (Antragsteller Geimer, Marcus ; Schmeck, Hartmut )
  - Multi-Ontology Learning: Crossing the Boundaries of Domains and Languages
    (Antragsteller Staab, Steffen ; Studer, Rudi )
  - Muster in der Sprache der Ingenieurwissenschaften. Eine korpusbasierte konstruktionsgrammatische Analyse
    (Antragsteller Fandrych, Christian )
  - Semantikbasierte Wiederverwendung von Geschäftsprozessmodellen
    (Antragsteller Oberweis, Andreas )
  - Theoretical extension and practical realization of reasoning with expressive logics (extensions of OWL) in the vicinity of semantic technologies
    (Antragsteller Studer, Rudi )
  - Verfassungskonforme Umsetzung von elektronischen Wahlen
    (Antragstellerinnen / Antragsteller Buchmann, Johannes ; Roßnagel, Alexander ; Volkamer, Melanie )
  - Wissensmanagement mit multiplen Ontologien
    (Antragsteller Studer, Rudi )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Coordination and Infrastructure, task forces and status colloquiums of the DFG-Priority Program (1183) "Organic Computing"
    (Antragsteller Schmeck, Hartmut )
  - Observation and Control of Collaborative Systems (OCCS)
    (Antragsteller Müller-Schloer, Christian ; Schmeck, Hartmut )
  - Optimierung auf rekonfigurierbaren Rechensystemen
    (Antragsteller Schmeck, Hartmut )
  - Organic Traffic Control Collaborative
    (Antragsteller Müller-Schloer, Christian ; Schmeck, Hartmut )
  - SPP 1183: Organic Computing
    (Sprecher Schmeck, Hartmut )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Koordination auf elektronischen Arbeitsmärkten
    (Teilprojektleiterinnen / Teilprojektleiter Krömmelbein, Silvia ; Oberweis, Andreas ; Schmid, Alfons )
  - Modellierung, Simulation und Analyse verteilter Geschäftsprozesse als Grundlage für die Planung der DV-Architektur eines Satellite Working Centers
    (Teilprojektleiter Oberweis, Andreas ; Stucky, Wolffried )
Forschungsdaten und Software
- abgeschlossene Projekte
  - Entwicklung einer Virtuellen Forschungsumgebung für die Historische Bildungsforschung mit infrastruktureller Distribution
    (Antragsteller Horn, Klaus-Peter ; Rittberger, Marc ; Studer, Rudi )
Forschungsgruppen
- laufende Projekte
  - F: Management und Quantifikation von Prozessreife-Verbesserung
    (Antragsteller Beyerer, Jürgen ; Käfer, Tobias ; Pfrommer, Julius )
  - FOR 5339: KI-FOR KI-basierte Methodik für die schnelle Ertüchtigung unreifer Produktionsprozesse
    (Sprecher Beyerer, Jürgen )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 895: Informationswirtschaft und Market Engineering - Ökonomisches, informationstechnisches und rechtliches Design von Institutionen, Diensten, Systemen und Geschäftsmodellen für elektronische Märkte
    (Sprecher Weinhardt, Christof )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - Nationale Forschungsdateninfrastruktur für und mit Computer Science
    (Sprecher Goedicke, Michael )

© 2024 DFG Kontakt / Impressum / Datenschutz