Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn. Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). In Joaquín Arias, Sotiris Batsakis, Wolfgang Faber 0001, Gopal Gupta 0001, Francesco Pacenza, Emmanuel Papadakis 0002, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep Gozen Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner, editors, Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023. Volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.