| 2026 | AAAI | Revisiting Conjunctive Query Entailment for S. | Yazmn Ibez-Garca, Jean Christoph Jung, Vincent Michielini, Filip Murlak |
| 2026 | LICS | Computation and Size of Interpolants for Hybrid Modal Logics. | Jean Christoph Jung, Jedrzej Kolodziejski, Frank Wolter |
| 2025 | AAAI | Temporal Conjunctive Query Answering via Rewriting. | Lukas Westhofen, Jean Christoph Jung, Daniel Neider |
| 2025 | KR | Fitting Ontologies and Constraints to Relational Structures. | Simon Hosemann, Jean Christoph Jung, Carsten Lutz, Sebastian Rudolph |
| 2025 | STACS | Modal Separation of Fixpoint Formulae. | Jean Christoph Jung, Jedrzej Kolodziejski |
| 2024 | IJCAI | Extremal Separation Problems for Temporal Instance Queries. | Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2024 | KR | Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. | Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2024 | TACAS | Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. | Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider |
| 2023 | IJCAI | SAT-Based PAC Learning of Description Logic Concepts. | Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2022 | IJCAI | Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. | Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2022 | KR | Conservative Extensions for Existential Rules. | Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski |
| 2022 | SAT | QBF Programming with the Modeling Language Bule. | Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine |
| 2021 | AAAI | Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. | Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter |
| 2021 | IJCAI | Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. | Maurice Funk, Jean Christoph Jung, Carsten Lutz |
| 2021 | KR | Separating Data Examples by Description Logic Concepts with Restricted Signatures. | Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2021 | LICS | Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. | Jean Christoph Jung, Frank Wolter |
| 2020 | AAAI | Least General Generalizations in Description Logic: Verification and Existence. | Jean Christoph Jung, Carsten Lutz, Frank Wolter |
| 2020 | KR | Logical Separability of Incomplete Data under Ontologies. | Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2020 | KR | On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. | Jean Christoph Jung, Carsten Lutz, Thomas Zeume |
| 2019 | CIKM | Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming. | Timothy van Bremen, Anton Dries, Jean Christoph Jung |
| 2019 | IJCAI | Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. | Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter |
| 2019 | IJCAI | On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. | Tomasz Gogacz, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca, Jean Christoph Jung, Filip Murlak |
| 2019 | LICS | Model Comparison Games for Horn Description Logics. | Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev |
| 2018 | AAAI | Answering Regular Path Queries over SQ Ontologies. | Vctor Gutirrez-Basulto, Yazmn Anglica Ibez-Garca, Jean Christoph Jung |
| 2018 | ICDT | Querying the Unary Negation Fragment with Regular Path Expressions. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider |
| 2018 | IJCAI | Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Leif Sabellek |
| 2018 | KR | Quantified Markov Logic Networks. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka |
| 2017 | AAAI | Number Restrictions on Transitive Roles in Description Logics with Nominals. | Vctor Gutirrez-Basulto, Yazmn Anglica Ibez-Garca, Jean Christoph Jung |
| 2017 | ICALP | Conservative Extensions in Guarded and Two-Variable Fragments. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter |
| 2017 | IJCAI | Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage. | Vctor Gutirrez-Basulto, Jean Christoph Jung |
| 2017 | IJCAI | Query Conservative Extensions in Horn Description Logics with Inverse Roles. | Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider |
| 2016 | ECAI | On Metric Temporal Description Logics. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Ana Ozaki |
| 2016 | IJCAI | Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Roman Kontchakov |
| 2015 | IJCAI | Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Thomas Schneider |
| 2014 | ICALP | Monodic Fragments of Probabilistic First-Order Logic. | Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schrder |
| 2014 | KR | Lightweight Description Logics and Branching Time: A Troublesome Marriage. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Thomas Schneider |
| 2012 | ECAI | Complexity of Branching Temporal Description Logics. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Carsten Lutz |
| 2012 | LICS | The Complexity of Decomposing Modal and First-Order Theories. | Stefan Gller, Jean Christoph Jung, Markus Lohrey |
| 2011 | AAAI | A Closer Look at the Probabilistic Description Logic Prob-EL. | Vctor Gutirrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schrder |