Professur für Wissensrepräsentation und -verarbeitung

Formative Assessment for Universities: Strategic Application of Innovative Methods to Raise Study Success Rates (FAUstairs) Oct. 1, 2025 - Sept. 30, 2031 Research Data Infrastructure for the Material Remains of Human History (NFDI4Objects) Forschungsdateninfrastruktur für die materiellen Hinterlassenschaften der Menschheitsgeschichte March 1, 2023 - Feb. 28, 2028 Digitaler Registerassistent (DIREGA) March 1, 2024 - Feb. 28, 2027 Domain and competency modelling (VoLL-KI) Von Lernenden Lernen: Ganzheitliche daten- und wissensunterstützte Hochschulbildung und deren Gestaltung - VoLL-KI Dec. 1, 2021 - Nov. 30, 2025 Argumentation Logics Manager & Argument Context Graph (ALMANAC) Schwerpunktprogramm „Robust Argumentation Machines“ (SPP 1999) (RATIO) Jan. 1, 2018 - Dec. 31, 2021 Argumentationslogik-Manager & Argumentkontext-Graph (ALMANAC) Sept. 1, 2018 - Aug. 31, 2021 Schwerpunktprogramm „Robust Argumentation Machines“ (SPP 1999) (RATIO) Jan. 1, 2018 - Dec. 31, 2020 An Open Archive of Formalizations (OAF) Jan. 1, 2014 - June 30, 2020 OpenDreamKit (OpenDreamKit) Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019 Open Digital Research Environment Toolkit for the Advancement of Mathematics (OpenDreamKit) Sept. 1, 2015 - Aug. 31, 2019