( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.

, и . CoRR, (2023)

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.

Sven Piotrowiak

Katja Piotrowski

Heinz Piotrowski

Berthold Piotrowski

Jens Piotraschke

 

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

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