Jerzy Marcinkowski

Available identifiers

zbMath Open marcinkowski.jerzyMaRDI QIDQ314824

List of research outcomes

Publication	Date of Publication	Type
Uniform Restricted Chase Termination	2023-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5874355	2023-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q5091128	2022-07-21	Paper
Can One Escape Red Chains?	2021-01-20	Paper
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable	2018-04-23	Paper
Undecidability of the first order theory of one-step right ground rewriting	2017-11-17	Paper
The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs	2017-11-16	Paper
Converging to the Chase -- A Tool for Finite Controllability	2017-07-03	Paper
Converging to the chase -- a tool for finite controllability	2016-09-16	Paper
All–Instances Termination of Chase is Undecidable	2014-07-01	Paper
The Undecidability of the Logic of Subintervals	2014-05-12	Paper
Prioritized repairing and consistent query answering in relational databases	2012-10-01	Paper
B and D Are Enough to Make the Halpern–Shoham Logic Undecidable	2010-09-07	Paper
Disjunctive databases for representing repairs	2010-08-13	Paper
Modulo constraints and the complexity of typechecking XML views	2009-08-06	Paper
On the Expressive Power of Graph Logic	2009-03-12	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
Inconsistency Tolerance	2005-08-17	Paper
Minimal-change integrity maintenance using tuple deletions	2005-05-12	Paper
Two techniques in the area of the star problem in trace monoids	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4411828	2003-07-10	Paper
Thue trees	2003-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q2762516	2002-01-09	Paper
The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable.	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4945236	2000-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4938642	2000-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4938599	2000-02-23	Paper
Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4230359	1999-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4349804	1998-01-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: Jerzy Marcinkowski