( en | de | ru )

 

Disambiguierung von "Jung, Jean Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Comparison Games for Horn Description Logics.

, , , und . LICS, Seite 1-14. IEEE, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jean Christoph Jung

Christoph Jung

Christoph Jung

Christoph Jung

Christoph Jung

 

Weitere Publikationen von Autoren mit dem selben Namen

Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies., , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)SAT-Based PAC Learning of Description Logic Concepts., , , und . IJCAI, Seite 3347-3355. ijcai.org, (2023)Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes., , und . IJCAI, Seite 3015-3021. AAAI Press, (2015)On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions., , und . KR, Seite 529-538. (2020)Fitting Algorithms for Conjunctive Queries., , , und . SIGMOD Rec., 52 (4): 6-18 (Dezember 2023)Answering regular path queries mediated by unrestricted SQ ontologies., , , und . Artif. Intell., (2023)On the non-efficient PAC learnability of acyclic conjunctive queries., , , und . CoRR, (2022)Separating Data Examples by Description Logic Concepts with Restricted Signatures., , , und . KR, Seite 390-399. (2021)More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions., , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)SAT-based PAC Learning of Description Logic Concepts (Extended Abstract)., , , und . Description Logics, Volume 3515 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)