Jean Christoph Jung

Citeras av

	Alla	Sedan 2018
Citat	696	501
h-index	15	12
i10-index	23	17

140

105

201020112012201320142015201620172018201920202021202220234 8 7 12 30 26 40 48 49 64 113 91 126 51

Offentlig åtkomst

Visa alla

32 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Carsten LutzProfessor of Computer Science, University of LeipzigVerifierad e-postadress på informatik.uni-leipzig.de
Víctor Gutiérrez BasultoCardiff UniversityVerifierad e-postadress på cardiff.ac.uk
Frank WolterDepartment of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
Maurice FunkLeipzig UniversityVerifierad e-postadress på informatik.uni-leipzig.de
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerifierad e-postadress på cs.fau.de
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerifierad e-postadress på uni-bremen.de
Mauricio MartelUniversität KoblenzVerifierad e-postadress på uni-koblenz.de
Yazmin Angelica Ibañez-GarciaLecturer at Cardiff UniversityVerifierad e-postadress på cardiff.ac.uk
Andrea MazzulloFree University of Bozen-BolzanoVerifierad e-postadress på unibz.it
Leif SabellekUniversity of BremenVerifierad e-postadress på informatik.uni-bremen.de
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerifierad e-postadress på uni-bremen.de
Robert WilleTechnical University of Munich and SCCH GmbHVerifierad e-postadress på tum.de
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerifierad e-postadress på inf.unibz.it
Roman KontchakovReader, Birkbeck, University of LondonVerifierad e-postadress på dcs.bbk.ac.uk
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyVerifierad e-postadress på lancaster.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerifierad e-postadress på dcs.bbk.ac.uk
Filip MurlakAssociate Professor, University of WarsawVerifierad e-postadress på mimuw.edu.pl
Markus LohreyProfessor for Theoretical Computer ScienceVerifierad e-postadress på eti.uni-siegen.de
Anton DriesNokia Bell LabsVerifierad e-postadress på nokia-bell-labs.com
Toby WalshProfessor, UNSW and CSIRO Data61Verifierad e-postadress på cse.unsw.edu.au

Följ

Jean Christoph Jung

TU Dortmund

Verifierad e-postadress på tu-dortmund.de - Startsida

Description Logics Knowledge Representation Uncertainty Logic Learning


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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	53	2017
On Metric Temporal Description Logics V Gutiérrez-Basulto, JC Jung, A Ozaki ECAI, 2016	49	2016
Learning description logic concepts: when can positive and negative examples be separated? M Funk, JC Jung, C Lutz, H Pulcini, F Wolter IJCAI, 2019	37	2019
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries V Gutierrez Basulto, JC Jung, R Kontchakov IJCAI, 2016	36	2016
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	33	2018
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	32	2011
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR, 2014	30	2014
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes V Gutiérrez-Basulto, JC Jung, T Schneider IJCAI, 2015	26	2015
Complexity of Branching Temporal Description Logics V Gutiérrez-Basulto, JC Jung, C Lutz ECAI, 2012	25	2012
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	24	2015
Logical separability of incomplete data under ontologies JC Jung, C Lutz, H Pulcini, F Wolter arXiv preprint arXiv:2007.01610, 2020	21	2020
Least General Generalizations in Description Logic: Verification and Existence JC Jung, C Lutz, F Wolter AAAI, 2020	19	2020
Two encodings of DNNF theories JC Jung, P Barahona, G Katsirelos, T Walsh ECAI workshop on Inference methods based on Graphical Structures of …, 2008	18	2008
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	16	2021
Querying the Unary Negation Fragment with Regular Path Expressions JC Jung, C Lutz, M Martel, T Schneider ICDT, 2018	15	2018
Conservative Extensions in Guarded and Two-Variable Fragments JC Jung, C Lutz, M Martel, T Schneider, F Wolter ICALP, 2017	15	2017
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	14	2019
Separating data examples by description logic concepts with restricted signatures JC Jung, C Lutz, H Pulcini, F Wolter arXiv preprint arXiv:2107.05285, 2021	12	2021
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

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare