Nicolas Fröhlich

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

Collaborative distances:

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

2026

Aspects of Coherence in Dependence Logic.

Timon Barlag, Nicolas Fröhlich, Miika Hannula, Phokion G. Kolaitis, Juha Kontinen, Arne Meier, Jouko Väänänen

CoRR, May, 2026

Disjunctions of Two Dependence Atoms.

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

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

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

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

A Logic-Based Framework for Database Repairs.

Nicolas Fröhlich, Arne Meier, Nina Pardal, Jonni Virtema

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 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