Author of the publication

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

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures., , , and . CoRR, (2020)Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment., and . CoRR, (2020)On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles., , , , 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)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)Extremal Fitting CQs do not Generalize., , , and . CoRR, (2023)Answering regular path queries mediated by unrestricted SQ ontologies., , , and . Artif. Intell., (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)On the non-efficient PAC learnability of acyclic conjunctive queries., , , and . CoRR, (2022)