Nicolas Fröhlich

4 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×2 AAAI ×1 IJCAI ×1

Frequent coauthors

Arne Meier

×4

Timon Barlag

×1

Teemu Hankala

×1

Miika Hannula

×1

Minna Hirvonen

×1

Vivian Holzapfel

×1

Juha Kontinen

×1

Laura Strieker

×1

Nina Pardal

×1

Jonni Virtema

×1

Johannes Klaus Fichte

×1

Markus Hecher

×1

Papers

Complexity of Logics with Semiring Semantics
KR 2026 ·
Timon Barlag
, Nicolas Fröhlich,
Teemu Hankala
,
Miika Hannula
,
Minna Hirvonen
,
Vivian Holzapfel
,
Juha Kontinen
,
Arne Meier
,
Laura Strieker
A Logic-Based Framework for Database Repairs
KR 2025 · Nicolas Fröhlich,
Arne Meier
,
Nina Pardal
,
Jonni Virtema
Facets in Argumentation: A Formal Approach to Argument Significance
IJCAI 2025 ·
Johannes Klaus Fichte
, Nicolas Fröhlich,
Markus Hecher
,
Victor Lagerkvist
,
Yasir Mahmood
,
Arne Meier
,
Jonathan Persson
Submodel Enumeration for CTL Is Hard
AAAI 2024 · Nicolas Fröhlich,
Arne Meier