From post

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.

 

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

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)Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies., , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments., и . LICS, стр. 1-14. IEEE, (2021)QBF Programming with the Modeling Language Bule., , и . SAT, том 236 из LIPIcs, стр. 31:1-31:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Complexity of Branching Temporal Description Logics., , и . ECAI, том 242 из Frontiers in Artificial Intelligence and Applications, стр. 390-395. IOS Press, (2012)Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions., , , , и . AAAI, стр. 6193-6201. AAAI Press, (2021)Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract)., , , и . Description Logics, том 3515 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Actively Learning ELI Queries under DL-Lite Ontologies., , и . Description Logics, том 2954 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract)., , , , и . Description Logics, том 2373 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)