( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Conservative Extensions in Horn Description Logics with Inverse Roles.

, , , и . 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.

Jean Christoph Jung

Christoph Jung

Christoph Jung

Christoph Jung

Christoph Jung

 

Другие публикации лиц с тем же именем

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures., , , и . CoRR, (2020)Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment., и . CoRR, (2020)On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles., , , , и . CoRR, (2020)Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies., , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)SAT-Based PAC Learning of Description Logic Concepts., , , и . IJCAI, стр. 3347-3355. ijcai.org, (2023)Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes., , и . IJCAI, стр. 3015-3021. AAAI Press, (2015)Answering regular path queries mediated by unrestricted SQ ontologies., , , и . Artif. Intell., (2023)Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions., , , , и . ACM Trans. Comput. Log., 24 (4): 34:1-34:51 (октября 2023)On the non-efficient PAC learnability of acyclic conjunctive queries., , , и . CoRR, (2022)Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries., , , и . CoRR, (2023)