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

Address An der Weberei 5
96047 Bamberg
Deutschland

GERiT This institution in GERiT

96047 Bamberg

Projects

Heisenberg Fellowships
- Completed projects
  - Studies in Computational Metaphysics
    (Applicant Benzmüller, Christoph )
Research Grants
- Current projects
  - Fairness and Efficiency in Emerging Vehicle Routing Problems
    (Applicant Aleksandrov, Martin )
- Completed projects
  - Effective Higher-Order Automated Theorem Proving
    (Applicant Benzmüller, Christoph )
Research Fellowships
- Completed projects
  - Kooperatives höherstufiges automatisches Beweisen zum Schließen in Ontologien
    (Applicant Benzmüller, Christoph )
Collaborative Research Centres
- Completed projects
  - Agent-oriented Proof Planing
    (Project Heads Autexier, Serge ; Benzmüller, Christoph ; Siekmann, Jörg H. )
  - Natural Language-based Interaction with a Mathematics Assistance System
    (Project Heads Benzmüller, Christoph ; Kruijff-Korbayová, Ivana ; Pinkal, Manfred ; Siekmann, Jörg H. )
NFDI technical and methodological consortia
- Current projects
  - National Research Data Infrastructure for and with Computer Science
    (Spokesperson Goedicke, Michael )