Susana Hahn

According to our database, Susana Hahn authored at least 20 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics.

Martín Diéguez, Susana Hahn, Torsten Schaub, Igor Stéphan

CoRR, May, 2026

Meta-Programming for Linear-time Temporal Answer Set Programming.

Susana Hahn, Amadé Nemes, Javier Romero, Torsten Schaub

CoRR, May, 2026

Implementing Metric Temporal Answer Set Programming.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub

CoRR, January, 2026

2025

Towards Industrial-scale Product Configuration.

Joachim Baumeister, Susana Hahn, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko

CoRR, April, 2025

Plingo: A System for Probabilistic Reasoning in Answer Set Programming.

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

Theory Pract. Log. Program., 2025

Smart Expansion Techniques for ASP-Based Interactive Configuration.

Lucia Balázová, Richard Comploi-Taupe, Susana Hahn, Nicolas Rühling, Gottfried Schenner

Theory Pract. Log. Program., 2025

2024

<i>Clingraph</i>: A System for ASP-based Visualization.

Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann

Theory Pract. Log. Program., March, 2024

Computational methods for Dynamic Answer Set Programming.

Susana Hahn

Proceedings of the Proceedings 40th International Conference on Logic Programming, February, 2024

ASP-driven User-interaction with Clinguin.

Alexander Beiser, Susana Hahn, Torsten Schaub

Proceedings of the Proceedings 40th International Conference on Logic Programming, February, 2024

Reasoning About Study Regulations in Answer Set Programming.

Susana Hahn, Torsten Schaub, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Sebastian Schellhorn

Theory Pract. Log. Program., 2024

Compiling Metric Temporal Answer Set Programming.

Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets.

Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

2023

Clingraph: A System for ASP-based Visualization.

Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann

CoRR, 2023

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

Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Interactive Configuration with ASP Multi-Shot Solving.

Richard Comploi-Taupe, Andreas A. Falkner, Susana Hahn, Torsten Schaub, Gottfried Schenner

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

2022

plingo: A system for probabilistic reasoning in clingo based on lpmln.

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

CoRR, 2022

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP ^MLN.

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

Proceedings of the Rules and Reasoning, 2022

Clingraph: ASP-Based Visualization.

Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2021

Automata Techniques for Temporal Answer Set Programming.

Susana Hahn

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Automata for Dynamic Answer Set Solving: Preliminary Report.

Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021