M.S. Susana Hahn Martin Lunas

Fax   +49-331-977-3122
Email  hahnmartinlu@uni-potsdam.de

Publications

2023

  1. 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]
  2. 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]
  3. Hahn, S., Sabuncu, O., Schaub, T., & Stolzmann, T. (2023). Clingraph: A System for ASP-based Visualization. CoRR, abs/2303.10118. [pdf] [bib]

2022

  1. Hahn, S., Sabuncu, O., Schaub, T., & Stolzmann, T. (2022). Clingraph: ASP-Based Visualization. In LPNMR (Vol. 13416, pp. 401–414). Springer. [pdf] [bib]
  2. 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]
  3. 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

  1. 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]
  2. 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]
  3. Hahn, S. (2021). Automata Techniques for Temporal Answer Set Programming. In ICLP Technical Communications (Vol. 345, pp. 258–266). [pdf] [bib]