Reasoning about Study Regulations in Answer Set Programming (Preliminary Report)

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]

Authors

Susana Hahn

This author has not been identified. Look up 'Susana Hahn' in Google

Cedric Martens

This author has not been identified. Look up 'Cedric Martens' in Google

Amadé Nemes

This author has not been identified. Look up 'Amadé Nemes' in Google

Henry Otunuya

This author has not been identified. Look up 'Henry Otunuya' in Google

Javier Romero 0003

This author has not been identified. Look up 'Javier Romero 0003' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google

Sebastian Schellhorn

This author has not been identified. Look up 'Sebastian Schellhorn' in Google