clingraph: ASP-Based Visualization S Hahn, O Sabuncu, T Schaub, T Stolzmann International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022 | 14 | 2022 |
Plingo: A System for Probabilistic Reasoning in Clingo Based on S Hahn, T Janhunen, R Kaminski, J Romero, N Rühling, T Schaub International Joint Conference on Rules and Reasoning, 54-62, 2022 | 6 | 2022 |
Automata for dynamic answer set solving: Preliminary report P Cabalar, M Diéguez, S Hahn, T Schaub arXiv preprint arXiv:2109.01782, 2021 | 2 | 2021 |
Clingraph: A System for ASP-based Visualization S Hahn, O Sabuncu, T Schaub, T Stolzmann Theory and Practice of Logic Programming, 1-27, 2023 | 1 | 2023 |
clinguin: Building user interfaces in asp S Hahn Proceedings of the Sixth Workshop on Trends and Applications of Answer Set …, 2023 | 1 | 2023 |
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report) S Hahn, C Martens, A Nemes, H Otunuya, J Romero, T Schaub, ... ASPOCP, 2023 | 1 | 2023 |
Automata techniques for temporal answer set programming S Hahn arXiv preprint arXiv:2109.08279, 2021 | 1 | 2021 |
Interactive Configuration with ASP Multi-Shot Solving R Comploi-Taupe, A Falkner, S Hahn, T Schaub, G Schenner | | 2023 |
Challenges of Developing an API for Interactive Configuration using ASP R Comploi-Taupe, S Hahn, T Schaub, G Schenner | | |