Nicolas Fröhlich

11 papers A* 3B 2Journal 6
YearRankTypeTitle / Venue / Authors
2026 B conf
Disjunctions of Two Dependence Atoms.
CSL
Nicolas Fröhlich, Phokion G. Kolaitis, Arne Meier
2025 A* conf
A Logic-Based Framework for Database Repairs.
KR
Nicolas Fröhlich, Arne Meier, Nina Pardal, Jonni Virtema
2025 J jnl
Disjunctions of Two Dependence Atoms.
CoRR
Nicolas Fröhlich, Phokion G. Kolaitis, Arne Meier
2025 A* conf
Facets in Argumentation: A Formal Approach to Argument Significance.
IJCAI
Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson
2025 J jnl
Facets in Argumentation: A Formal Approach to Argument Significance.
CoRR
Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson
2025 J jnl
Logic and Computation Through the Lens of Semirings.
CoRR
Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2025 J jnl
Logical Approaches to Non-deterministic Polynomial Time over Semirings.
CoRR
Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2024 J jnl
Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111).
Dagstuhl Reports
Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich
2024 A* conf
Submodel Enumeration for CTL Is Hard.
AAAI
Nicolas Fröhlich, Arne Meier
2023 J jnl
Submodel Enumeration for CTL Is Hard.
CoRR
Nicolas Fröhlich, Arne Meier
2022 B conf
Submodel Enumeration of Kripke Structures in Modal Logic.
AiML
Nicolas Fröhlich, Arne Meier