Fröhlich, Nicolas

2 publications

IJCAI 2025 Facets in Argumentation: A Formal Approach to Argument Significance Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson

AAAI 2024 Submodel Enumeration for CTL Is Hard Nicolas Fröhlich, Arne Meier