SWORD - Module-based SAT Solving. - Robert Wille; Jean Christoph Jung; André Sülflow; Rolf Drechsler (Algorithms and Applications for Next Generation SAT Solvers, 2009)

Enhancing debugging of multiple missing control errors in reversible logic. - Jean Christoph Jung; Stefan Frehse; Robert Wille; Rolf Drechsler (ACM Great Lakes Symposium on VLSI, 2010)

A Closer Look at the Probabilistic Description Logic Prob-EL. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Carsten Lutz; Lutz Schröder (AAAI, 2011)

The Complexity of Probabilistic EL. - Jean Christoph Jung; Víctor Gutiérrez-Basulto; Carsten Lutz; Lutz Schröder (Description Logics, 2011)

Complexity of Branching Temporal Description Logics. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Carsten Lutz (ECAI, 2012)

Ontology-Based Access to Probabilistic Data with OWL QL. - Jean Christoph Jung; Carsten Lutz (ISWC (1), 2012)

Ontology-Based Access to Probabilistic Data. - Jean Christoph Jung; Carsten Lutz (Description Logics, 2013)

Monodic Fragments of Probabilistic First-Order Logic. - Jean Christoph Jung; Carsten Lutz; Sergey Goncharov 001; Lutz Schröder (ICALP (2), 2014)

Lightweight Description Logics and Branching Time: A Troublesome Marriage. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Thomas Schneider 002 (KR, 2014)

Reasoning in many dimensions: uncertainty and products of modal logics. - Jean Christoph Jung (2014)

The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Thomas Schneider 002 (Description Logics, 2015)

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Thomas Schneider 002 (IJCAI, 2015)

The Complexity of Decomposing Modal and First-Order Theories. - Stefan Göller; Jean Christoph Jung; Markus Lohrey (ACM Trans. Comput. Log., 2015)

On Decidability and Tractability of Querying in Temporal EL. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Roman Kontchakov (Description Logics, 2016)

On Metric Temporal Description Logics. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Ana Ozaki (ECAI, 2016)

Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Roman Kontchakov (IJCAI, 2016)

Number Restrictions on Transitive Roles in Description Logics with Nominals. - Víctor Gutiérrez-Basulto; Yazmín Angélica Ibáñez-García; Jean Christoph Jung (AAAI, 2017)

On Query Answering in Description Logics with Number Restrictions on Transitive Roles. - Víctor Gutiérrez-Basulto; Yazmín Angélica Ibáñez-García; Jean Christoph Jung (Description Logics, 2017)

Conservative Extensions in Guarded and Two-Variable Fragments. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002; Frank Wolter (ICALP, 2017)

Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage. - Víctor Gutiérrez-Basulto; Jean Christoph Jung (IJCAI, 2017)

Query Conservative Extensions in Horn Description Logics with Inverse Roles. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (IJCAI, 2017)

Probabilistic Description Logics for Subjective Uncertainty. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Carsten Lutz; Lutz Schröder (J. Artif. Intell. Res., 2017)

Answering Regular Path Queries over SQ Ontologies. - Víctor Gutiérrez-Basulto; Yazmín Angélica Ibáñez-García; Jean Christoph Jung (AAAI, 2018)

Query-by-Example for Expressive Horn Description Logics. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Leif Sabellek (Description Logics, 2018)

Querying the Unary Negation Fragment with Regular Path Expressions. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (ICDT, 2018)

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Leif Sabellek (IJCAI, 2018)

Quantified Markov Logic Networks. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Ondrej Kuzelka (KR, 2018)

Markov Logic Networks with Statistical Quantifiers. - Víctor Gutiérrez-Basulto; Jean Christoph Jung; Ondrej Kuzelka (CoRR, 2018)

Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming. - Timothy van Bremen; Anton Dries; Jean Christoph Jung (CIKM, 2019)

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). - Maurice Funk; Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Description Logics, 2019)

Decidability and Complexity of ALCOIF with Transitive Closure (and More). - Jean Christoph Jung; Carsten Lutz; Thomas Zeume (Description Logics, 2019)

Model Comparison Games for Horn Description Logics: A Summary. - Jean Christoph Jung; Fabio Papacchini; Frank Wolter; Michael Zakharyaschev (Description Logics, 2019)

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. - Maurice Funk; Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (IJCAI, 2019)

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. - Tomasz Gogacz; Víctor Gutiérrez-Basulto; Yazmín Ibáñez-García; Jean Christoph Jung; Filip Murlak (IJCAI, 2019)

Model Comparison Games for Horn Description Logics. - Jean Christoph Jung; Fabio Papacchini; Frank Wolter; Michael Zakharyaschev (LICS, 2019)

Least General Generalizations in Description Logic: Verification and Existence. - Jean Christoph Jung; Carsten Lutz; Frank Wolter (AAAI, 2020)

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (Description Logics, 2020)

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Description Logics, 2020)

Logical Separability of Incomplete Data under Ontologies. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (KR, 2020)

On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. - Jean Christoph Jung; Carsten Lutz; Thomas Zeume (KR, 2020)

Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. - Jean Christoph Jung; Frank Wolter (CoRR, 2020)

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (CoRR, 2020)

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (CoRR, 2020)

Conservative Extensions in Horn Description Logics with Inverse Roles. - Jean Christoph Jung; Carsten Lutz; Mauricio Martel; Thomas Schneider 002 (J. Artif. Intell. Res., 2020)

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. - Timothy van Bremen; Anton Dries; Jean Christoph Jung (Künstliche Intell., 2020)

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 (AAAI, 2021)

Actively Learning ELI Queries under DL-Lite Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2021)

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2021)

Separating Data Examples by Description Logic Concepts with Restricted Signatures. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (KR, 2021)

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. - Jean Christoph Jung; Frank Wolter (LICS, 2021)

Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2022)

More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. - Jean Christoph Jung; Andrea Mazzullo; Frank Wolter (Description Logics, 2022)

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. - Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2022)

Conservative Extensions for Existential Rules. - Jean Christoph Jung; Carsten Lutz; Jerzy Marcinkowski (KR, 2022)

QBF Programming with the Modeling Language Bule. - Jean Christoph Jung; Valentin Mayer-Eichberger; Abdallah Saffidine (SAT, 2022)

Logical separability of labeled data examples under ontologies. - Jean Christoph Jung; Carsten Lutz; Hadrien Pulcini; Frank Wolter (Artif. Intell., 2022)

On the non-efficient PAC learnability of acyclic conjunctive queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (CoRR, 2022)

SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (Description Logics, 2023)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2023)

SAT-Based PAC Learning of Description Logic Concepts. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (IJCAI, 2023)

Towards Ontology Construction with Language Models. - Maurice Funk; Simon Hosemann; Jean Christoph Jung; Carsten Lutz (KBC-LM/LM-KBC@ISWC, 2023)

Answering regular path queries mediated by unrestricted SQ ontologies. - Víctor Gutiérrez-Basulto; Yazmín Ibáñez-García; Jean Christoph Jung; Filip Murlak (Artif. Intell., 2023)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2023)

Extremal Fitting CQs do not Generalize. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (CoRR, 2023)

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. - Alessandro Artale; Jean Christoph Jung; Andrea Mazzullo; Ana Ozaki; Frank Wolter (ACM Trans. Comput. Log., 2023)

Fitting Algorithms for Conjunctive Queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (SIGMOD Rec., 2023)

Modal Separability of Fixpoint Formulae. - Jean Christoph Jung; Jedrzej Kolodziejski (Description Logics, 2024)

Extremal Separation Problems for Temporal Instance Queries. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2024)

Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. - Lukas Westhofen 001; Christian Neurohr; Jean Christoph Jung; Daniel Neider (NFM, 2024)

Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. - Lukas Westhofen 001; Christian Neurohr; Jean Christoph Jung; Daniel Neider (TACAS (1), 2024)

On the non-efficient PAC learnability of conjunctive queries. - Balder ten Cate; Maurice Funk; Jean Christoph Jung; Carsten Lutz (Inf. Process. Lett., 2024)

Temporal Conjunctive Query Answering via Rewriting. - Lukas Westhofen 001; Jean Christoph Jung; Daniel Neider (AAAI, 2025)

Modal Separation of Fixpoint Formulae. - Jean Christoph Jung; Jedrzej Kolodziejski (STACS, 2025)

Computation of Interpolants for Description Logic Concepts in Hard Cases. - Jean Christoph Jung; Jedrzej Kolodziejski; Frank Wolter (CoRR, 2025)

SAT-Based Bounded Fitting for the Description Logic ALC. - Maurice Funk; Jean Christoph Jung; Tom Voellmer (CoRR, 2025)

Fitting Ontologies and Constraints to Relational Structures. - Simon Hosemann; Jean Christoph Jung; Carsten Lutz; Sebastian Rudolph (CoRR, 2025)