Project Details
Person
Professor Dr.-Ing. Christoph Benzmüller
Address
Otto-Friedrich-Universität Bamberg
Fakultät Wirtschaftsinformatik und
Angewandte Informatik
Lehrstuhl für KI-Systementwicklung
An der Weberei 5
96047 Bamberg
ORCID-ID 0000-0002-3392-3093
-
As Applicant
-
Completed projects
-
Kooperatives höherstufiges automatisches Beweisen zum Schließen in Ontologien (Research Fellowships) -
Effective Higher-Order Automated Theorem Proving (Research Grants)
-
Studies in Computational Metaphysics (Heisenberg Fellowships)
-
-
Completed projects
-
As Project Head
-
Completed projects
-
Natural Language-based Interaction with a Mathematics Assistance System (Collaborative Research Centres)
-
Agent-oriented Proof Planing (Collaborative Research Centres)
-
-
Completed projects
-
As Participating Person
-
Current projects
-
National Research Data Infrastructure for and with Computer Science (NFDI technical and methodological consortia)
-
-
Current projects
- As Co-Investigator
