Comploi-Taupe, R., Falkner, A. A., Hahn, S., Schaub, T., & Schenner, G. (2023). Interactive Configuration with ASP Multi-Shot Solving. In ConfWS (Vol. 3509, pp. 95–103). CEUR-WS.org.[pdf][bib]
Hahn, S., Martens, C., Nemes, A., Otunuya, H., Romero, J., Schaub, T., & Schellhorn, S. (2023). Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). In ICLP Workshops (Vol. 3437). CEUR-WS.org.[pdf][bib]
Hahn, S., Sabuncu, O., Schaub, T., & Stolzmann, T. (2023). Clingraph: A System for ASP-based Visualization. CoRR, abs/2303.10118.[pdf][bib]
2022
Hahn, S., Sabuncu, O., Schaub, T., & Stolzmann, T. (2022). Clingraph: ASP-Based Visualization. In LPNMR (Vol. 13416, pp. 401–414). Springer.[pdf][bib]
Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N., & Schaub, T. (2022). Plingo: A System for Probabilistic Reasoning in Clingo Based on LP^MLN. In RuleML+RR (Vol. 13752, pp. 54–62). Springer.[pdf][bib]
Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N., & Schaub, T. (2022). plingo: A system for probabilistic reasoning in clingo based on lpmln. CoRR, abs/2206.11515.[pdf][bib]
2021
Cabalar, P., Diéguez Martı́n, Hahn, S., & Schaub, T. (2021). Automata for Dynamic Answer Set Solving: Preliminary Report. In ICLP Workshops (Vol. 2970). CEUR-WS.org.[pdf][bib]
Cabalar, P., Diéguez Martı́n, Hahn, S., & Schaub, T. (2021). Automata for dynamic answer set solving: Preliminary report. CoRR, abs/2109.01782.[pdf][bib]
Hahn, S. (2021). Automata Techniques for Temporal Answer Set Programming. In ICLP Technical Communications (Vol. 345, pp. 258–266).[pdf][bib]
