The following pages link to Jean Christoph Jung (Q2093386):
Displaying 11 items.
- Logical separability of labeled data examples under ontologies (Q2093388) (← links)
- Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies (Q2680773) (← links)
- Probabilistic Description Logics for Subjective Uncertainty (Q2953940) (← links)
- (Q3457242) (← links)
- On metric temporal description logics (Q4576218) (← links)
- Monodic Fragments of Probabilistic First-Order Logic (Q5167843) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892176) (← links)
- The Complexity of Decomposing Modal and First-Order Theories (Q5892436) (← links)
- On the non-efficient PAC learnability of conjunctive queries (Q6072217) (← links)
- QBF programming with the modeling language bule (Q6572050) (← links)
- Model comparison games for Horn description logics (Q6654469) (← links)
