Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
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
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung