Jean Christoph Jung
Scholar

Jean Christoph Jung

Google Scholar ID: wj3Axj0AAAAJ
TU Dortmund University
Description LogicsKnowledge RepresentationUncertaintyLogicLearning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
732
 
H-index
17
 
i10-index
22
 
Publications
20
 
Co-authors
31
list available
Contact
No contact links provided.
Publications
7 items
Computation and Size of Interpolants for Hybrid Modal Logics
2026
Cited
0
Interpolation in Knowledge Representation
2025
Cited
2
Revisiting Conjunctive Query Entailment for $mathcal S$
2025
Cited
0
The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
2025
Cited
0
Fitting Ontologies and Constraints to Relational Structures
2025
Cited
0
SAT-Based Bounded Fitting for the Description Logic ALC
2025
Cited
0
Computation of Interpolants for Description Logic Concepts in Hard Cases
2025
Cited
0
Resume (English only)
Co-authors
31 total
Carsten Lutz
Carsten Lutz
Professor of Computer Science, University of Leipzig
Víctor Gutiérrez Basulto
Víctor Gutiérrez Basulto
Cardiff University
Frank Wolter
Frank Wolter
Department of Computer Science, University of Liverpool
Maurice Funk
Maurice Funk
Leipzig University
Lutz Schröder
Lutz Schröder
Professor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg
Co-author 6
Co-author 6
Ana Ozaki
Ana Ozaki
University of Oslo & University of Bergen
Balder ten Cate
Balder ten Cate
Associate Professor