Susana Hahn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2021–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LPNMR | Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets. | Mario Alviano, Susana Hahn, Orkunt Sabuncu, Hannes Weichelt |
| 2024 | LPNMR | Compiling Metric Temporal Answer Set Programming. | Arvid Becker, Pedro Cabalar, Martn Diguez, Susana Hahn, Javier Romero, Torsten Schaub |
| 2023 | ICLP | Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). | Susana Hahn, Cedric Martens, Amad Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn |
| 2022 | LPNMR | Clingraph: ASP-Based Visualization. | Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann |
| 2021 | ICLP | Automata for Dynamic Answer Set Solving: Preliminary Report. | Pedro Cabalar, Martn Diguez, Susana Hahn, Torsten Schaub |