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]
@inproceedings{HahnMNO0SS23,
title = {Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)},
author = {Susana Hahn and Cedric Martens and Amadé Nemes and Henry Otunuya and Javier Romero 0003 and Torsten Schaub and Sebastian Schellhorn},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/paper5ASPOCP.pdf},
researchr = {https://researchr.org/publication/HahnMNO0SS23},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Joaquín Arias and Sotiris Batsakis and Wolfgang Faber 0001 and Gopal Gupta 0001 and Francesco Pacenza and Emmanuel Papadakis 0002 and Livio Robaldo and Kilian Rückschloß and Elmer Salazar and Zeynep Gozen Saribatur and Ilias Tachmazidis and Felix Weitkämper and Adam Z. Wyner},
volume = {3437},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}