Arndt, Jonas, Magdalena Vock und Ulrike Lucke. KI-basierte Studienplanung unter Berücksichtigung der Anforderungen einer heterogenen Studierendenschaft. Gesellschaft für Informatik eV, 2023. DOI 10.18420/wsdelfi2023-52
Goebel, Matthias, und Markus von der Heyde. OpenAPI Interface Definition for the Communication of Study Regulations between SemaLogic and Answer Set Programming (ASP). Zenodo, Mai 2024. https://zenodo.org/records/8082268.
Hahn, Susana, Torsten Schaub, Cedric Martens u. a. Reasoning About Study Regulations in Answer Set Programming. Theory and Practice of Logic Programming 24, Nr. 4 (2024): 790–804. https://doi.org/10.1017/S1471068424000383
Lindow, Stefan, Anja Swidsinski und Bettina Buchholz: Künstliche Intelligenz in der Wissenschaft: Kompetenzentwicklung und Sensibilisierung an der Universität Potsdam. Personal- und Organisationsentwicklung in Einrichtungen der Lehre und Forschung 3-4 (2025) i. E.
Michel, Lars und von der Heyde, Markus. “It works on my research”: An argument for prioritized software testing in research software. In: Proc. EUNIS 2025.
Otunuya, Henry, Stefan Lindow und Mariia Merzliakova. Reasoning over Student Study Plans with Answer Set Programming. Prooceedings Hochschule 2035. https://doi.org/10.18420/inf2025_97
von der Heyde, Markus und Matthias Goebel. SemaLogic formulation of study regulations for the Master of Cognitive Systems at the University of Potsdam. Zenodo, Juli 2024. https://doi.org/10.5281/zenodo.11356141.
von der Heyde, Markus, Matthias Goebel, Stefan Lindow, und Ulrike Lucke. Einsatz symbolischer KI in Hochschulen durch formale Modellierung von Studien- und Prüfungsordnungen. Informatik Spektrum 47, Nr. 3–4 (2024): 87–96. https://doi.org/10.1007/s00287-024-01577-9.
von der Heyde, Markus, Matthias Goebel, Dietmar Zoerner, und Ulrike Lucke. Integrating AI Tools with Campus Infrastructure to Support the Life Cycle of Study Regulations. Proceedings of European University 95 (2023): 332–44. (PDF)
von der Heyde, Markus, Stefan Lindow, Carsten Markowsky, Matthias Goebel und Ulrike Lucke. "Hierarchische Regelwerke prüfen Künstliche Intelligenz für die Compliance von Prüfungs- oder Studienordnungen mit Rahmenordnungen" Proceedings Hochschule 2025. https://doi.org/10.18420/inf2025_95
von der Heyde, Markus, Henry Chukwunwike Otunuya, Matthias Goebel, Dietmar Zoerner, und Ulrike Lucke. Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions. Proceedings of European University 95 (2023): 320–31. (PDF)