Application of symbolic AI in universities by the formal modeling of study and examination regulations

Gilch H., Beise A.S., Krempkow R., Muller M., Stratmann F., Wannemacher K., Digitalisierung der Hochschulen. Ergebnisse einer Schwerpunktstudie für die Expertenkommission Forschung und Innovation (EFI), (2019)

von der Heyde M., Ergebnisse der Umfrage zur Digitalisierung der Hochschulen, (2022)

Pasternack P., Schneider S., Preusser S., Administrationslasten – Die Zunahme organisatorischer Anforderungen an den Hochschulen: Ursachen und Auswege, (2019)

Ropke R., Judel S., Schroeder U., Study Path Analyses for Quality Assurance and Support of Study planning—approaches and Advancements in the Aistudybuddy Project, (2024)

Seidel N., Menze D., Von Der Analyse Zur Adaptiven Unterstützung Beim Lesen, (2024)

Schneider D., Leuschel M., Witt T., Model-based problem solving for university timetable validation and improvement, Form Aspects Comput, 30, pp. 545-569, (2018)

von der Heyde M., Hartmann A., Strukturierte digitale Transformation von Lernen und Lehren, Informatik Spektrum, 46, pp. 131-137, (2023)

von der Heyde M., Goebel M., Die Sprache „SemaLogic“ als semantische Repräsentation – Eine anforderungsbasierte Sprache zur Modellierung von Prüfungsordnungen und Abbildung von Studienverläufen, Informatik, (2020)

Habtemariam D.T., Simulation Von Prüfungsordnungen Und Studiengängen Mit Hilfe Von Constraint-Logischer Programmierung, (2006)

Bauer N.-J., Sieben Jahre integriertes Campus Management an deutschen Hochschulen, Allgemeine Aspekte zur prozessorientierten Hochschule, pp. 39-50, (2011)

Gilch H., Beise A.S., Krempkow R., Muller M., Stratmann F., Wannemacher K., Digitalisierung der Hochschulen. Ergebnisse einer Schwerpunktstudie für die Expertenkommission Forschung und Innovation (EFI), (2019)

von der Heyde M., Ergebnisse der Umfrage zur Digitalisierung der Hochschulen, (2022)

Pasternack P., Schneider S., Preusser S., Administrationslasten – Die Zunahme organisatorischer Anforderungen an den Hochschulen: Ursachen und Auswege, (2019)

Ropke R., Judel S., Schroeder U., Study Path Analyses for Quality Assurance and Support of Study planning—approaches and Advancements in the Aistudybuddy Project, (2024)

Seidel N., Menze D., Von Der Analyse Zur Adaptiven Unterstützung Beim Lesen, (2024)

Schneider D., Leuschel M., Witt T., Model-based problem solving for university timetable validation and improvement, Form Aspects Comput, 30, pp. 545-569, (2018)

von der Heyde M., Hartmann A., Strukturierte digitale Transformation von Lernen und Lehren, Informatik Spektrum, 46, pp. 131-137, (2023)

von der Heyde M., Goebel M., Die Sprache „SemaLogic“ als semantische Repräsentation – Eine anforderungsbasierte Sprache zur Modellierung von Prüfungsordnungen und Abbildung von Studienverläufen, Informatik, (2020)

Habtemariam D.T., Simulation Von Prüfungsordnungen Und Studiengängen Mit Hilfe Von Constraint-Logischer Programmierung, (2006)

Bauer N.-J., Sieben Jahre integriertes Campus Management an deutschen Hochschulen, Allgemeine Aspekte zur prozessorientierten Hochschule, pp. 39-50, (2011)