Articles with public access mandates - Jean Christoph JungLearn more
Available somewhere: 37
Ontology-Based Access to Probabilistic Data with OWL QL
JC Jung, C Lutz
ISWC, 2012
Mandates: German Research Foundation
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
Mandates: German Research Foundation
Learning description logic concepts: when can positive and negative examples be separated?
M Funk, JC Jung, C Lutz, H Pulcini, F Wolter
IJCAI, 2019
Mandates: German Research Foundation
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
Mandates: Research Foundation (Flanders), European Commission
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
Mandates: German Research Foundation
Lightweight Description Logics and Branching Time: a Troublesome Marriage
V Gutiérrez-Basulto, JC Jung, T Schneider
KR, 2014
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
V Gutiérrez-Basulto, JC Jung, T Schneider
IJCAI, 2015
Mandates: German Research Foundation
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
Mandates: UK Engineering and Physical Sciences Research Council
Least General Generalizations in Description Logic: Verification and Existence
JC Jung, C Lutz, F Wolter
AAAI, 2020
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Logical separability of incomplete data under ontologies
JC Jung, C Lutz, H Pulcini, F Wolter
Proceedings of the International Conference on Principles of Knowledge …, 2020
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
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
Mandates: German Research Foundation
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
Mandates: UK Engineering and Physical Sciences Research Council
Logical separability of labeled data examples under ontologies
JC Jung, C Lutz, H Pulcini, F Wolter
Artificial Intelligence 313, 103785, 2022
Mandates: German Research Foundation, UK Engineering and Physical Sciences Research …
Querying the Unary Negation Fragment with Regular Path Expressions
JC Jung, C Lutz, M Martel, T Schneider
ICDT, 2018
Mandates: German Research Foundation, European Commission
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
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
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
Mandates: German Research Foundation
Answering Regular Path Queries over SQ Ontologies
V Gutiérrez-Basulto, YI á nez-Garcıa, JC Jung
AAAI, 2018
Mandates: Austrian Science Fund, European Commission
SAT-based PAC learning of description logic concepts
B Ten Cate, M Funk, JC Jung, C Lutz
IJCAI, 2023
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Ontology-mediated queries over probabilistic data via probabilistic logic programming
T Van Bremen, A Dries, JC Jung
Proceedings of the 28th ACM International Conference on Information and …, 2019
Mandates: Research Foundation (Flanders), European Commission
Query Conservative Extensions in Horn Description Logics with Inverse Roles
JC Jung, C Lutz, M Martel, T Schneider
IJCAI, 2017
Mandates: German Research Foundation, European Commission
Publication and funding information is determined automatically by a computer program