PPaperPicks

Jean Christoph Jung

6 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2KR ×2IJCAI ×1ISWC ×1

Frequent coauthors

Vladislav Ryzhikov
×2
Frank Wolter
×2
Michael Zakharyaschev
×2
Yazmín Ibáñez-García
×1
Vincent Michielini
×1
Filip Murlak
×1
Simon Hosemann
×1
Carsten Lutz
×1
Sebastian Rudolph
×1
Maurice Funk
×1
Tom Voellmer
×1
Lukas Westhofen
×1

Papers

  1. Revisiting Conjunctive Query Entailment for S
    AAAI 2026 ·
    Yazmín Ibáñez-García
    , Jean Christoph Jung,
    Vincent Michielini
    ,
    Filip Murlak
  2. Fitting Ontologies and Constraints to Relational Structures
    KR 2025 ·
    Simon Hosemann
    , Jean Christoph Jung,
    Carsten Lutz
    ,
    Sebastian Rudolph
  3. SAT-Based Bounded Fitting for the Description Logic ALC
    ISWC 2025 ·
    Maurice Funk
    , Jean Christoph Jung,
    Tom Voellmer
  4. Temporal Conjunctive Query Answering via Rewriting
    AAAI 2025 ·
    Lukas Westhofen
    , Jean Christoph Jung,
    Daniel Neider
  5. Extremal Separation Problems for Temporal Instance Queries
    IJCAI 2024 · Jean Christoph Jung,
    Vladislav Ryzhikov
    ,
    Frank Wolter
    ,
    Michael Zakharyaschev
  6. Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
    KR 2024 · Jean Christoph Jung,
    Vladislav Ryzhikov
    ,
    Frank Wolter
    ,
    Michael Zakharyaschev