( en | de | ru )

 

Disambiguation of "Jung, Jean Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Conservative Extensions in Horn Description Logics with Inverse Roles.

, , , and . J. Artif. Intell. Res., (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jean Christoph Jung

Christoph Jung

Christoph Jung

Christoph Jung

Christoph Jung

 

Other publications of authors with the same name

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles., , , , and . CoRR, (2020)Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment., and . CoRR, (2020)Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures., , , and . CoRR, (2020)Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies., , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes., , and . IJCAI, page 3015-3021. AAAI Press, (2015)SAT-Based PAC Learning of Description Logic Concepts., , , and . IJCAI, page 3347-3355. ijcai.org, (2023)Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions., , , , and . ACM Trans. Comput. Log., 24 (4): 34:1-34:51 (October 2023)Fitting Algorithms for Conjunctive Queries., , , and . SIGMOD Rec., 52 (4): 6-18 (December 2023)Answering regular path queries mediated by unrestricted SQ ontologies., , , and . Artif. Intell., (2023)On the non-efficient PAC learnability of acyclic conjunctive queries., , , and . CoRR, (2022)