Einsatz symbolischer KI in Hochschulen durch formale Modellierung von Studien- und Prüfungsordnungen. - Markus von der Heyde; Matthias Goebel 002; Stefan Lindow; Ulrike Lucke (Inform. Spektrum, 2024)