Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Post Office Box 6980
76049 Karlsruhe
Deutschland

GERiT This institution in GERiT

76049 Karlsruhe

Projects

Research Grants
- Current projects
  - Accountable Artificial Intelligence-based Systems: A Multi-Perspective Analysis (AAIS)
    (Applicants Benlian, Alexander ; Sunyaev, Ali )
- Completed projects
  - Constitutional Compliant Electronic Voting
    (Applicants Buchmann, Johannes ; Roßnagel, Alexander ; Volkamer, Melanie )
  - ExpresST - Expressive Querying for Semantic Technologies
    (Applicant Rudolph, Sebastian )
  - Juristisch-informatische Modellierung von Online-Wahlen
    (Applicants Buchmann, Johannes ; Grimm, Rüdiger ; Roßnagel, Alexander )
  - Lernfähiges selbst-adaptierendes Gesamtmaschinenmanagement in mobilen Arbeitsmaschinen
    (Applicants Geimer, Marcus ; Schmeck, Hartmut )
  - Multi-Ontology Learning: Crossing the Boundaries of Domains and Languages
    (Applicants Staab, Steffen ; Studer, Rudi )
  - Patterns in the academic language of engineering. A corpus-based construction grammar analysis
    (Applicant Fandrych, Christian )
  - Semantikbasierte Wiederverwendung von Geschäftsprozessmodellen
    (Applicant Oberweis, Andreas )
  - Theoretical extension and practical realization of reasoning with expressive logics (extensions of OWL) in the vicinity of semantic technologies
    (Applicant Studer, Rudi )
  - Wissensmanagement mit multiplen Ontologien
    (Applicant Studer, Rudi )
Priority Programmes
- Completed projects
  - Coordination and Infrastructure, task forces and status colloquiums of the DFG-Priority Program (1183) "Organic Computing"
    (Applicant Schmeck, Hartmut )
  - Observation and Control of Collaborative Systems (OCCS)
    (Applicants Müller-Schloer, Christian ; Schmeck, Hartmut )
  - Optimierung auf rekonfigurierbaren Rechensystemen
    (Applicant Schmeck, Hartmut )
  - Organic Traffic Control Collaborative
    (Applicants Müller-Schloer, Christian ; Schmeck, Hartmut )
  - SPP 1183: Organic Computing
    (Spokesperson Schmeck, Hartmut )
Collaborative Research Centres
- Completed projects
  - Koordination auf elektronischen Arbeitsmärkten
    (Project Heads 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
    (Project Heads Oberweis, Andreas ; Stucky, Wolffried )
Research data and software
- Completed projects
  - Entwicklung einer Virtuellen Forschungsumgebung für die Historische Bildungsforschung mit infrastruktureller Distribution
    (Applicants Horn, Klaus-Peter ; Rittberger, Marc ; Studer, Rudi )
Research Units
- Current projects
  - F: Management and quantification of maturity improvement
    (Applicants Beyerer, Jürgen ; Käfer, Tobias ; Pfrommer, Julius )
  - FOR 5339: KI-FOR AI-based Methodology for the Fast Maturation of Immature Manufacturing Processes
    (Spokesperson Beyerer, Jürgen )
Research Training Groups
- Completed projects
  - GRK 895: Information Engineering and Management - A Market Engineering Perspective
    (Spokesperson Weinhardt, Christof )
NFDI technical and methodological consortia
- Current projects
  - National Research Data Infrastructure for and with Computer Science
    (Spokesperson Goedicke, Michael )

© 2024 DFG Disclaimer / Copyright / Privacy Policy