Susana Hahn

According to our database, Susana Hahn authored at least 14 papers between 2021 and 2025.

Collaborative distances:

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

2025

Computational methods for Dynamic Answer Set Programming.

Susana Hahn

CoRR, February, 2025

ASP-driven User-interaction with Clinguin.

Alexander Beiser, Susana Hahn, Torsten Schaub

CoRR, February, 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

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