Nicolas Fröhlich

According to our database, Nicolas Fröhlich authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Logical Approaches to Non-deterministic Polynomial Time over Semirings.

Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker

CoRR, September, 2025

Disjunctions of Two Dependence Atoms.

Nicolas Fröhlich, Phokion G. Kolaitis, Arne Meier

CoRR, August, 2025

Logic and Computation Through the Lens of Semirings.

Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker

CoRR, February, 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

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

2024

Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111).

Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich

Dagstuhl Reports, 2024

Submodel Enumeration for CTL Is Hard.

Nicolas Fröhlich, Arne Meier

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

Submodel Enumeration of Kripke Structures in Modal Logic.

Nicolas Fröhlich, Arne Meier

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022