Author of the publication

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.

, , , and . CoRR, (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

Determinacy of Real Conjunctive Queries. The Boolean Case., , and . CoRR, (2021)On Monotonic Determinacy and Rewritability for Recursive Queries and Views., , , and . PODS, page 131-148. ACM, (2020)Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules., and . KR, page 769-773. (2023)All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs., , and . IJCAI, page 1719-1725. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying., , , and . CoRR, (2022)Foundations for an Abstract Proof Theory in the Context of Horn Rules., and . CoRR, (2023)A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem., , and . CPM, volume 78 of LIPIcs, page 10:1-10:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable., , and . LICS, page 492-501. ACM, (2018)The First Order Truth behind Undecidability of Regular Path Queries Determinacy., , and . CoRR, (2018)On Monotonic Determinacy and Rewritability for Recursive Queries and Views., , , and . ACM Trans. Comput. Log., 24 (2): 16:1-16:62 (April 2023)