Piotr Ostropolski-Nalewaja
Orcid: 0000-0002-8021-1638
According to our database1,
Piotr Ostropolski-Nalewaja
authored at least 14 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
3
3
2
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
2023
ACM Trans. Comput. Log., April, 2023
CoRR, 2023
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.
Proceedings of the 26th International Conference on Database Theory, 2023
2022
Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022
Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022
2020
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
2019
Proceedings of the 22nd International Conference on Database Theory, 2019
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2017
A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem.
Proceedings of the 28th Annual Symposium on Combinatorial Pattern Matching, 2017