Arne Meier

Venues

Frequent coauthors

Papers

1. Complexity of Logics with Semiring Semantics
   KR 2026 ·

   Timon Barlag

   DBLP profile ↗ORCID search ↗
2. Representation Theorems for Cumulative Propositional Dependence Logics
   KR 2026 ·

   Juha Kontinen

   DBLP profile ↗ORCID search ↗
3. A Logic-Based Framework for Database Repairs
   KR 2025 ·

   Nicolas Fröhlich

   DBLP profile ↗ORCID search ↗
4. Facets in Argumentation: A Formal Approach to Argument Significance
   IJCAI 2025 ·

   Johannes Klaus Fichte

   DBLP profile ↗ORCID search ↗
5. On the Complexity and Properties of Preferential Propositional Dependence Logic
   KR 2025 ·

   Kai Sauerwald

   DBLP profile ↗ORCID search ↗
6. Quantitative Claim-Centric Reasoning in Logic-Based Argumentation
   IJCAI 2024 ·

   Markus Hecher

   DBLP profile ↗ORCID search ↗
7. Rejection in Abstract Argumentation: Harder Than Acceptance?
   ECAI 2024 ·

   Johannes Klaus Fichte

   DBLP profile ↗ORCID search ↗
8. Submodel Enumeration for CTL Is Hard
   AAAI 2024 ·

   Nicolas Fröhlich

   DBLP profile ↗ORCID search ↗