Browse by People

Jung, Jean Christoph, Lutz, Carsten, Martel, Mauricio, Schneider, Thomas and Wolter, Frank (2017) Conservative Extensions in Guarded and Two-Variable Fragments. Leibniz International Proceedings in Informatics, LIPIcs, 80.

Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank ORCID: 0000-0002-4470-606X (2019) Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? In: Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, 2019-8-10 - 2019-8-16.

Jung, Jean Christoph, Lutz, Carsten and Wolter, Frank ORCID: 0000-0002-4470-606X (2020) Least General Generalizations in Description Logic: Verification and Existence. .

Artale, Alessandro, Jung, Jean Christoph, Mazzullo, Andrea, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X (2023) Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Transactions on Computational Logic, 24 (4). pp. 1-51.

Jung, Jean Christoph and Wolter, Frank ORCID: 0000-0002-4470-606X (2021) Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021-6-29 - 2021-7-2.

Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank (2020) Logical Separability of Labeled Data Examples under Ontologies. In: International Conference on Principles of Knowledge Representation and Reasoning, 2020-9-10 - 2020-9-16, Rhodes.

Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank (2022) Logical separability of labeled data examples under ontologies. Artificial Intelligence, 313. p. 103785.

Jung, JC, Mazzullo, A and Wolter, F ORCID: 0000-0002-4470-606X (2022) More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. .

Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank (2021) Separating Data Examples by Description Logic Concepts with Restricted Signatures. In: International Conference on Principles of Knowledge Representation and Reasoning.

Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank (2020) Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CEUR Workshop Proceedings, 2663.