A family of approximation algorithms for the maximum duo-preservation string mapping problem B Dudek, P Gawrychowski, P Ostropolski-Nalewaja arXiv preprint arXiv:1702.02405, 2017 | 9 | 2017 |
Determinacy of real conjunctive queries. the boolean case J Kwiecien, J Marcinkowski, P Ostropolski-Nalewaja Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2022 | 8 | 2022 |
Finite-cliquewidth sets of existential rules: Toward a general criterion for decidable yet highly expressive querying T Feller, TS Lyon, P Ostropolski-Nalewaja, S Rudolph arXiv preprint arXiv:2209.02464, 2022 | 5 | 2022 |
Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable G Głuch, J Marcinkowski, P Ostropolski-Nalewaja Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 5 | 2018 |
All-instances oblivious chase termination is undecidable for single-head binary tgds B Bednarczyk, R Ferens, P Ostropolski-Nalewaja Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 3 | 2021 |
The first order truth behind undecidability of regular path queries determinacy G Głuch, J Marcinkowski, P Ostropolski-Nalewaja arXiv preprint arXiv:1808.07767, 2018 | 3 | 2018 |
A journey to the frontiers of query rewritability P Ostropolski-Nalewaja, J Marcinkowski, D Carral, S Rudolph Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2022 | 2 | 2022 |
Decidability of querying first-order theories via countermodels of finite width T Feller, TS Lyon, P Ostropolski-Nalewaja, S Rudolph arXiv preprint arXiv:2304.06348, 2023 | 1 | 2023 |
Foundations for an Abstract Proof Theory in the Context of Horn Rules TS Lyon, P Ostropolski-Nalewaja arXiv preprint arXiv:2304.05697, 2023 | 1 | 2023 |
Decidability of Quasi-Dense Modal Logics P Ostropolski-Nalewaja, TS Lyon arXiv preprint arXiv:2405.10094, 2024 | | 2024 |
Connecting proof theory and knowledge representation: sequent calculi and the chase with existential rules TS Lyon, P Ostropolski-Nalewaja arXiv preprint arXiv:2306.02521, 2023 | | 2023 |
On monotonic determinacy and rewritability for recursive queries and views M Benedikt, S Kikot, P Ostropolski-Nalewaja, M Romero ACM Transactions on Computational Logic 24 (2), 1-62, 2023 | | 2023 |