Jean Christoph Jung

Geciteerd door

	Alles	Sinds 2018
Citaties	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

Openbare toegang

Alles bekijken

32 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Carsten LutzProfessor of Computer Science, University of LeipzigGeverifieerd e-mailadres voor informatik.uni-leipzig.de
Víctor Gutiérrez BasultoCardiff UniversityGeverifieerd e-mailadres voor cardiff.ac.uk
Frank WolterDepartment of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
Maurice FunkLeipzig UniversityGeverifieerd e-mailadres voor informatik.uni-leipzig.de
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergGeverifieerd e-mailadres voor cs.fau.de
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyGeverifieerd e-mailadres voor uni-bremen.de
Mauricio MartelUniversität KoblenzGeverifieerd e-mailadres voor uni-koblenz.de
Yazmin Angelica Ibañez-GarciaLecturer at Cardiff UniversityGeverifieerd e-mailadres voor cardiff.ac.uk
Andrea MazzulloFree University of Bozen-BolzanoGeverifieerd e-mailadres voor unibz.it
Leif SabellekUniversity of BremenGeverifieerd e-mailadres voor informatik.uni-bremen.de
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyGeverifieerd e-mailadres voor uni-bremen.de
Robert WilleTechnical University of Munich and SCCH GmbHGeverifieerd e-mailadres voor tum.de
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoGeverifieerd e-mailadres voor inf.unibz.it
Roman KontchakovReader, Birkbeck, University of LondonGeverifieerd e-mailadres voor dcs.bbk.ac.uk
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyGeverifieerd e-mailadres voor lancaster.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonGeverifieerd e-mailadres voor dcs.bbk.ac.uk
Filip MurlakAssociate Professor, University of WarsawGeverifieerd e-mailadres voor mimuw.edu.pl
Markus LohreyProfessor for Theoretical Computer ScienceGeverifieerd e-mailadres voor eti.uni-siegen.de
Anton DriesNokia Bell LabsGeverifieerd e-mailadres voor nokia-bell-labs.com
Toby WalshProfessor, UNSW and CSIRO Data61Geverifieerd e-mailadres voor cse.unsw.edu.au

Volgen

Jean Christoph Jung

TU Dortmund

Geverifieerd e-mailadres voor tu-dortmund.de - Homepage

Description Logics Knowledge Representation Uncertainty Logic Learning


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs