Arne Meier

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

DBLP profile ↗ORCID search ↗

Venues

KR ×4 IJCAI ×2 AAAI ×1 ECAI ×1

Frequent coauthors

Nicolas Fröhlich

×4

Juha Kontinen

×3

Markus Hecher

×3

Yasir Mahmood

×3

Kai Sauerwald

×2

Johannes Klaus Fichte

×2

Timon Barlag

×1

Teemu Hankala

×1

Miika Hannula

×1

Minna Hirvonen

×1

Vivian Holzapfel

×1

Laura Strieker

×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
Representation Theorems for Cumulative Propositional Dependence Logics
KR 2026 ·
Juha Kontinen
, Arne Meier,
Kai Sauerwald
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
On the Complexity and Properties of Preferential Propositional Dependence Logic
KR 2025 ·
Kai Sauerwald
, Arne Meier,
Juha Kontinen
Quantitative Claim-Centric Reasoning in Logic-Based Argumentation
IJCAI 2024 ·
Markus Hecher
,
Yasir Mahmood
, Arne Meier,
Johannes Schmidt
Rejection in Abstract Argumentation: Harder Than Acceptance?
ECAI 2024 ·
Johannes Klaus Fichte
,
Markus Hecher
,
Yasir Mahmood
, Arne Meier
Submodel Enumeration for CTL Is Hard
AAAI 2024 ·
Nicolas Fröhlich
, Arne Meier