Detailseite
Person
Professor Dr.-Ing. Christoph Benzmüller
Adresse
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
-
Als Antragsteller
-
abgeschlossene Projekte
-
Kooperatives höherstufiges automatisches Beweisen zum Schließen in Ontologien (Forschungsstipendien) -
Effektives höherstufiges automatischen Theorembeweisen (Sachbeihilfen)
-
Studien zur Computationalen Metaphysik (Heisenberg-Stipendien)
-
-
abgeschlossene Projekte
-
Als Teilprojektleiter
-
abgeschlossene Projekte
-
Natural Language-based Interaction with a Mathematics Assistance System (Sonderforschungsbereiche)
-
Agent-oriented Proof Planing (Sonderforschungsbereiche)
-
-
abgeschlossene Projekte
-
Als Beteiligte Person
-
laufende Projekte
-
Nationale Forschungsdateninfrastruktur für und mit Computer Science (Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien)
-
-
laufende Projekte
- Als Mitverantwortlich
