Piotr Ostropolski-Nalewaja

Available identifiers

zbMath Open ostropolski-nalewaja.piotrMaRDI QIDQ5091127

List of research outcomes

Publication	Date of Publication	Type
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules	2023-06-04	Paper
Decidability of Querying First-Order Theories via Countermodels of Finite Width	2023-04-13	Paper
Foundations for an Abstract Proof Theory in the Context of Horn Rules	2023-04-12	Paper
On Monotonic Determinacy and Rewritability for Recursive Queries and Views	2023-04-05	Paper
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying	2022-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5091128	2022-07-21	Paper
Can One Escape Red Chains?	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5110874	2020-05-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Piotr Ostropolski-Nalewaja