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
