Otto-Friedrich-Universität Bamberg
Fakultät Wirtschaftsinformatik und
Angewandte Informatik
Lehrstuhl für KI-Systementwicklung

Adresse An der Weberei 5
96047 Bamberg
Deutschland

GERiT Diese Institution in GERiT

96047 Bamberg

Projekte

Heisenberg-Stipendien
- abgeschlossene Projekte
  - Studien zur Computationalen Metaphysik
    (Antragsteller Benzmüller, Christoph )
Sachbeihilfen
- laufende Projekte
  - Fairness und Effizienz in Fahrzeug-Routing-Problemen
    (Antragsteller Aleksandrov, Martin )
- abgeschlossene Projekte
  - Effektives höherstufiges automatischen Theorembeweisen
    (Antragsteller Benzmüller, Christoph )
Forschungsstipendien
- abgeschlossene Projekte
  - Kooperatives höherstufiges automatisches Beweisen zum Schließen in Ontologien
    (Antragsteller Benzmüller, Christoph )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Agent-oriented Proof Planing
    (Teilprojektleiter Autexier, Serge ; Benzmüller, Christoph ; Siekmann, Jörg H. )
  - Natural Language-based Interaction with a Mathematics Assistance System
    (Teilprojektleiterinnen / Teilprojektleiter Benzmüller, Christoph ; Kruijff-Korbayová, Ivana ; Pinkal, Manfred ; Siekmann, Jörg H. )
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
- laufende Projekte
  - Nationale Forschungsdateninfrastruktur für und mit Computer Science
    (Sprecher Goedicke, Michael )