Skip to content

Piotr Ostropolski-Nalewaja

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

6

Active years

2017–2025

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2025KRAbout the Multi-Head Linear Restricted Chase Termination.Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2024KRMonotone Rewritability and the Analysis of Queries, Views, and Rules.Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja
2024KRThe Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules.Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2024LICSDecidability of Quasi-Dense Modal Logics.Tim S. Lyon, Piotr Ostropolski-Nalewaja
2023ICDTFinite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
2023KRConnecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.Tim S. Lyon, Piotr Ostropolski-Nalewaja
2022PODSDeterminacy of Real Conjunctive Queries. The Boolean Case.Jaroslaw Kwiecien, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2022PODSA Journey to the Frontiers of Query Rewritability.Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
2020IJCAIAll-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs.Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja
2020PODSOn Monotonic Determinacy and Rewritability for Recursive Queries and Views.Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero
2019ICDTThe First Order Truth Behind Undecidability of Regular Path Queries Determinacy.Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2018LICSCan One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable.Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2017CPMA Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem.Bartlomiej Dudek, Pawel Gawrychowski, Piotr Ostropolski-Nalewaja