Jean Christoph Jung

Cited by

	All	Since 2017
Citations	554	411
h-index	13	11
i10-index	19	16

120

20102011201220132014201520162017201820192020202120224 8 8 11 26 27 39 48 47 62 101 87 66

Public access

View all

33 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Víctor Gutiérrez BasultoLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Mauricio MartelUniversity of Gothenburg, SwedenVerified email at gu.se
Maurice FunkLeipzig UniversityVerified email at informatik.uni-leipzig.de
Yazmin Angelica Ibañez-GarciaLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de
Leif SabellekUniversity of BremenVerified email at informatik.uni-bremen.de
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Andrea MazzulloFree University of Bozen-BolzanoVerified email at stud-inf.unibz.it
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyVerified email at lancaster.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Markus LohreyProfessor for Theoretical Computer ScienceVerified email at eti.uni-siegen.de
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au
George KatsirelosINRAEVerified email at inrae.fr
Pedro BarahonaProfessor of Computer Science, New University of LisbonVerified email at fct.unl.pt

Jean Christoph Jung

University of Hildesheim

Verified email at uni-bremen.de - Homepage

Description Logics Knowledge Representation Uncertainty Logic Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Ontology-Based Access to Probabilistic Data with OWL QL JC Jung, C Lutz ISWC, 2012	60	2012
Probabilistic Description Logics for Subjective Uncertainty V Gutiérrez-Basulto, JC Jung, C Lutz, L Schröder Journal of Artificial Intelligence Research 58 (1), 1-66, 2017	46	2017
On Metric Temporal Description Logics V Gutiérrez-Basulto, JC Jung, A Ozaki ECAI, 2016	42	2016
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries V Gutierrez Basulto, JC Jung, R Kontchakov IJCAI, 2016	31	2016
A closer look at the probabilistic description logic Prob-EL V Gutiérrez-Basulto, JC Jung, C Lutz, L Schröder Proc. of the 25th AAAI Conf. on Artif. Intell.(AAAI11). AAAI Press, 2011	29	2011
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR, 2014	28	2014
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies V Gutiérrez-Basulto, JC Jung, L Sabellek IJCAI-ECAI, 2018	25	2018
Learning description logic concepts: when can positive and negative examples be separated? M Funk, JC Jung, C Lutz, H Pulcini, F Wolter IJCAI, 2019	24	2019
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes V Gutiérrez-Basulto, JC Jung, T Schneider IJCAI, 2015	24	2015
The complexity of decomposing modal and first-order theories S Göller, JC Jung, M Lohrey ACM Transactions on Computational Logic (TOCL) 16 (1), 1-43, 2015	23	2015
Complexity of Branching Temporal Description Logics V Gutiérrez-Basulto, JC Jung, C Lutz ECAI, 2012	23	2012
Two encodings of DNNF theories JC Jung, P Barahona, G Katsirelos, T Walsh ECAI workshop on Inference methods based on Graphical Structures of …, 2008	19	2008
Logical separability of incomplete data under ontologies JC Jung, C Lutz, H Pulcini, F Wolter arXiv preprint arXiv:2007.01610, 2020	13	2020
Model comparison games for Horn description logics JC Jung, F Papacchini, F Wolter, M Zakharyaschev 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019	13	2019
Querying the Unary Negation Fragment with Regular Path Expressions JC Jung, C Lutz, M Martel, T Schneider ICDT, 2018	13	2018
Living without Beth and Craig: Definitions and interpolants in description logics with nominals and role inclusions A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6193-6201, 2021	12*	2021
Enhancing debugging of multiple missing control errors in reversible logic JC Jung, S Frehse, R Wille, R Drechsler Proceedings of the 20th symposium on Great lakes symposium on VLSI, 465-470, 2010	12	2010
Conservative Extensions in Guarded and Two-Variable Fragments JC Jung, C Lutz, M Martel, T Schneider, F Wolter ICALP, 2017	11	2017
Least General Generalizations in Description Logic: Verification and Existence JC Jung, C Lutz, F Wolter AAAI, 2020	10	2020
Living without beth and craig: Definitions and interpolants in the guarded and two-variable fragments JC Jung, F Wolter 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021	8	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors