1 code implementation • 17 Mar 2023 • Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
We present the ASP-based visualization tool $\textit{clingraph}$ which aims at visualizing various concepts of ASP by means of ASP itself.
1 code implementation • 23 Jun 2022 • Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
We present plingo, an extension of the ASP system clingo with various probabilistic reasoning modes.
no code implementations • 17 Sep 2021 • Susana Hahn
Temporal and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason with dynamic scenarios in a very effective way.
1 code implementation • 4 Sep 2021 • Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
On the one hand, we elaborate upon a transformation of dynamic formulas into alternating automata that relies on meta-programming in ASP.