Piotr Ostropolski-Nalewaja

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

MSc Piotr Ostropolski-Nalewaja

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Computational Logic
Piotr Ostropolski-Nalewaja

I am a PhD student at the University of Wrocław and a researcher in the Computational Logic group at Technische Universität Dresden. I currently work within the ERC project DeciGUT, and my research interests concern topics within the fields of Logic, Database Theory, Knowledge Representation, and AI.

Neueste Publikationen

Komplette Publikationsliste anzeigen

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
Komplette Publikationsliste anzeigen