Susana Hahn

21 papers B 6Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Implementing Metric Temporal Answer Set Programming.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub
2025 J jnl
Compiling Metric Temporal Answer Set Programming.
CoRR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Javier Romero, Susana Hahn, Torsten Schaub
2025 J jnl
Plingo: A System for Probabilistic Reasoning in Answer Set Programming.
Theory Pract. Log. Program.
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2025 J jnl
Smart Expansion Techniques for ASP-Based Interactive Configuration.
Theory Pract. Log. Program.
Lucia Balázová, Richard Comploi-Taupe, Susana Hahn, Nicolas Rühling, Gottfried Schenner
2025 J jnl
Smart Expansion Techniques for ASP-based Interactive Configuration.
CoRR
Lucia Balázová, Richard Comploi-Taupe, Susana Hahn, Nicolas Rühling, Gottfried Schenner
2025 J jnl
Towards Industrial-scale Product Configuration.
CoRR
Joachim Baumeister, Susana Hahn, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko
2024 B conf
ASP-driven User-interaction with Clinguin.
ICLP
Alexander Beiser, Susana Hahn, Torsten Schaub
2024 B conf
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets.
LPNMR
Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt
2024 B conf
Compiling Metric Temporal Answer Set Programming.
LPNMR
Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub
2024 B conf
Computational methods for Dynamic Answer Set Programming.
ICLP
Susana Hahn
2024 J jnl
Reasoning About Study Regulations in Answer Set Programming.
Theory Pract. Log. Program.
Susana Hahn, Torsten Schaub, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Sebastian Schellhorn
2024 J jnl
Reasoning about Study Regulations in Answer Set Programming.
CoRR
Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
2023 J jnl
Clingraph: A System for ASP-based Visualization.
CoRR
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
2023 — conf
Interactive Configuration with ASP Multi-Shot Solving.
ConfWS
Richard Comploi-Taupe, Andreas A. Falkner, Susana Hahn, Torsten Schaub, Gottfried Schenner
2023 — conf
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report).
ICLP Workshops
Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
2022 B conf
Clingraph: ASP-Based Visualization.
LPNMR
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
2022 B conf
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP
RuleML+RR
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2022 J jnl
plingo: A system for probabilistic reasoning in clingo based on lpmln.
CoRR
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2021 — conf
Automata Techniques for Temporal Answer Set Programming.
ICLP Technical Communications
Susana Hahn
2021 — conf
Automata for Dynamic Answer Set Solving: Preliminary Report.
ICLP Workshops
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
2021 J jnl
Automata for dynamic answer set solving: Preliminary report.
CoRR
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub