Author of the publication

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)

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.

 

Other publications of authors with the same name

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