Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). - Susana Hahn; Cedric Martens; Amadé Nemes; Henry Otunuya; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn (ICLP Workshops, 2023)

Reasoning About Study Regulations in Answer Set Programming. - Susana Hahn; Torsten Schaub; Cedric Martens; Amadé Nemes; Henry Otunuya; Javier Romero 003; Sebastian Schellhorn (Theory Pract. Log. Program., 2024)