PPaperPicks

Nicolas Fröhlich

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

DBLP profile ↗ORCID search ↗

Venues

KR ×2AAAI ×1IJCAI ×1

Frequent coauthors

Timon Barlag
DBLP profile ↗ORCID search ↗
×1
Johannes Klaus Fichte
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Complexity of Logics with Semiring Semantics
    KR 2026 ·
    Timon Barlag
    DBLP profile ↗ORCID search ↗
  2. A Logic-Based Framework for Database Repairs
    KR 2025 · Nicolas Fröhlich
  3. Facets in Argumentation: A Formal Approach to Argument Significance
    IJCAI 2025 ·
    Johannes Klaus Fichte
    DBLP profile ↗ORCID search ↗
  4. Submodel Enumeration for CTL Is Hard
    AAAI 2024 · Nicolas Fröhlich