Knowledge Processing and Information Systems
Susana Hahn Martin Lunas

M.S. Susana Hahn Martin Lunas

Email  hahnmartinlu@uni-potsdam.de

Publications

2025

  1. Baumeister, J., Hahn, S., Herud, K., Ostrowski, M., Reutelshöfer, J., Rühling, N., Schaub, T., & Wanko, P. (2025). Towards Industrial-scale Product Configuration. CoRR, abs/2504.00013. [pdf] [bib]
  2. Becker, A., Cabalar, P., Diéguez Martı́n, Romero, J., Hahn, S., & Schaub, T. (2025). Compiling Metric Temporal Answer Set Programming. CoRR, abs/2506.08150. [pdf] [bib]
  3. Balázová, L., Comploi-Taupe, R., Hahn, S., Rühling, N., & Schenner, G. (2025). Smart Expansion Techniques for ASP-based Interactive Configuration. CoRR, abs/2507.21027. [bib]
  4. Balázová, L., Comploi-Taupe, R., Hahn, S., Rühling, N., & Schenner, G. (2025). Smart Expansion Techniques for ASP-Based Interactive Configuration. Theory Pract. Log. Program., 25(4), 473–488. [bib]
  5. Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N., & Schaub, T. (2025). Plingo: A System for Probabilistic Reasoning in Answer Set Programming. Theory Pract. Log. Program., 25(2), 134–167. [bib]

2024

  1. Alviano, M., Hahn, S., Sabuncu, O., & Weichelt, H. (2024). Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. LPNMR, 15245, 187–199. [bib]
  2. Becker, A., Cabalar, P., Diéguez Martı́n, Hahn, S., Romero, J., & Schaub, T. (2024). Compiling Metric Temporal Answer Set Programming. LPNMR, 15245, 15–29. [pdf] [bib]
  3. Hahn, S., Martens, C., Nemes, A., Otunuya, H., Romero, J., Schaub, T., & Schellhorn, S. (2024). Reasoning about Study Regulations in Answer Set Programming. CoRR, abs/2408.04528. [pdf] [bib]
  4. Beiser, A., Hahn, S., & Schaub, T. (2024). ASP-driven User-interaction with Clinguin. ICLP, 416, 215–228. [pdf] [bib]
  5. Hahn, S. (2024). Computational methods for Dynamic Answer Set Programming. ICLP, 416, 324–331. [pdf] [bib]
  6. Hahn, S., Schaub, T., Martens, C., Nemes, A., Otunuya, H., Romero, J., & Schellhorn, S. (2024). Reasoning About Study Regulations in Answer Set Programming. Theory Pract. Log. Program., 24(4), 790–804. [bib]
  7. Hahn, S., Sabuncu, O., Schaub, T., & Stolzmann, T. (2024). Clingraph: A System for ASP-based Visualization. Theory Pract. Log. Program., 24(3), 533–559. [pdf] [bib]

2023

  1. Comploi-Taupe, R., Falkner, A. A., Hahn, S., Schaub, T., & Schenner, G. (2023). Interactive Configuration with ASP Multi-Shot Solving. ConfWS, 3509, 95–103. [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). ICLP Workshops, 3437. [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. LPNMR, 13416, 401–414. [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. RuleML+RR, 13752, 54–62. [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. ICLP Workshops, 2970. [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. ICLP Technical Communications, 345, 258–266. [pdf] [bib]