Stefan Lindow

According to our database, Stefan Lindow authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Reasoning over Student Study Plans with Answer Set Programming.

Henry Otunuya, Stefan Lindow, Mariia Merzliakova

Proceedings of the 55. Jahrestagung der Gesellschaft für Informatik, 2025

Hierarchische Regelwerke prüfen: Künstliche Intelligenz für die Compliance von Prüfungs- oder Studienordnungen mit Rahmenordnungen.

Markus von der Heyde, Stefan Lindow, Carsten Markowsky, Matthias Goebel, Ulrike Lucke

Proceedings of the 55. Jahrestagung der Gesellschaft für Informatik, 2025

2024

Einsatz symbolischer KI in Hochschulen durch formale Modellierung von Studien- und Prüfungsordnungen.

Markus von der Heyde, Matthias Goebel, Stefan Lindow, Ulrike Lucke

Inform. Spektrum, August, 2024