Jean Christoph Jung

Available identifiers

zbMath Open jung.jean-christophMaRDI QIDQ2093386

List of research outcomes

Publication	Date of Publication	Type
Model comparison games for Horn description logics	2024-12-19	Paper
QBF programming with the modeling language bule	2024-07-12	Paper
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions	2023-11-03	Paper
On the non-efficient PAC learnability of conjunctive queries	2023-10-12	Paper
Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies	2023-01-04	Paper
Logical separability of labeled data examples under ontologies	2022-11-08	Paper
On metric temporal description logics	2018-07-12	Paper
The Complexity of Decomposing Modal and First-Order Theories	2017-05-16	Paper
Probabilistic Description Logics for Subjective Uncertainty	2017-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3457242	2015-12-11	Paper
The Complexity of Decomposing Modal and First-Order Theories	2015-09-17	Paper
Monodic Fragments of Probabilistic First-Order Logic	2014-07-01	Paper

Research outcomes over time

This page was built for person: Jean Christoph Jung