Publications of Piotr Ostropolski-Nalewaja

From International Center for Computational Logic
Toggle side column

Publications of Piotr Ostropolski-Nalewaja


Proceedings Articles

Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020), July 2020. International Joint Conferences on Artificial Intelligence
Details Download