Jerzy Marcinkowski

69 papers A* 15A 5B 7Journal 35Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
About the Multi-Head Linear Restricted Chase Termination.
KR
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2025 J jnl
About the Multi-Head Linear Restricted Chase Termination.
CoRR
Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2025 J jnl
Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability.
CoRR
Jerzy Marcinkowski, Mateusz Orda
2025 J jnl
Bag Semantics Query Containment: The CQ vs. UCQ Case and Other Stories.
CoRR
Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2025 J jnl
Bag Semantics Query Containment: The CQ vs. UCQ Case and Other Stories.
Proc. ACM Manag. Data
Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2025 J jnl
On the entailment problem for DL-Lite
CoRR
Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2025 — conf
What It's Like to Be a Database Theorist in the Land of Multisets.
DL
Jerzy Marcinkowski
2024 J jnl
Bag Semantics Conjunctive Query Containment. Four Small Steps Towards Undecidability.
Proc. ACM Manag. Data
Jerzy Marcinkowski, Mateusz Orda
2023 J jnl
Uniform Restricted Chase Termination.
SIAM J. Comput.
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
2022 A* conf
A Journey to the Frontiers of Query Rewritability.
PODS
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
2022 A* conf
Conservative Extensions for Existential Rules.
KR
Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
2022 J jnl
Conservative Extensions for Existential Rules.
CoRR
Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski
2022 A* conf
Determinacy of Real Conjunctive Queries. The Boolean Case.
PODS
Jaroslaw Kwiecien, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2021 J jnl
Determinacy of Real Conjunctive Queries. The Boolean Case.
CoRR
Jaroslaw Kwiecien, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2020 J jnl
A Journey to the Frontiers of Query Rewritability.
CoRR
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
2020 J jnl
All-Instances Restricted Chase Termination for Linear TGDs.
Künstliche Intell.
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
2020 A* conf
All-Instances Restricted Chase Termination.
PODS
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
2020 A conf
What Makes a Variant of Query Determinacy (Un)Decidable? (Invited Talk).
ICDT
Jerzy Marcinkowski
2019 J jnl
All-Instances Restricted Chase Termination: The Guarded Case.
CoRR
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
2019 A conf
The First Order Truth Behind Undecidability of Regular Path Queries Determinacy.
ICDT
Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2018 J jnl
Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable.
CoRR
Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2018 A* conf
Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable.
LICS
Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2018 J jnl
The First Order Truth behind Undecidability of Regular Path Queries Determinacy.
CoRR
Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
2017 J jnl
Converging to the chase - A tool for finite controllability.
J. Comput. Syst. Sci.
Tomasz Gogacz, Jerzy Marcinkowski
2016 A* conf
Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable.
PODS
Tomasz Gogacz, Jerzy Marcinkowski
2015 J jnl
Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable.
CoRR
Tomasz Gogacz, Jerzy Marcinkowski
2015 A* conf
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable.
LICS
Tomasz Gogacz, Jerzy Marcinkowski
2015 J jnl
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable.
CoRR
Tomasz Gogacz, Jerzy Marcinkowski
2014 — conf
All-Instances Termination of Chase is Undecidable.
ICALP (2)
Tomasz Gogacz, Jerzy Marcinkowski
2014 J jnl
On the BDD/FC Conjecture.
CoRR
Tomasz Gogacz, Jerzy Marcinkowski
2014 J jnl
Termination of oblivious chase is undecidable.
CoRR
Tomasz Gogacz, Jerzy Marcinkowski
2014 J jnl
The Undecidability of the Logic of Subintervals.
Fundam. Informaticae
Jerzy Marcinkowski, Jakub Michaliszyn
2013 A* conf
Converging to the Chase - A Tool for Finite Controllability.
LICS
Tomasz Gogacz, Jerzy Marcinkowski
2013 A* conf
On the BDD/FC conjecture.
PODS
Tomasz Gogacz, Jerzy Marcinkowski
2012 J jnl
Converging to the Chase - a Tool for Finite Controllability
CoRR
Tomasz Gogacz, Jerzy Marcinkowski
2012 J jnl
Prioritized repairing and consistent query answering in relational databases.
Ann. Math. Artif. Intell.
Slawek Staworko, Jan Chomicki, Jerzy Marcinkowski
2011 A* conf
The Ultimate Undecidability Result for the Halpern-Shoham Logic.
LICS
Jerzy Marcinkowski, Jakub Michaliszyn
2010 — conf
B and D Are Enough to Make the Halpern-Shoham Logic Undecidable.
ICALP (2)
Jerzy Marcinkowski, Jakub Michaliszyn, Emanuel Kieronski
2010 J jnl
The Last Paper on the Halpern-Shoham Interval Temporal Logic
CoRR
Jerzy Marcinkowski, Jakub Michaliszyn
2009 J jnl
Disjunctive databases for representing repairs.
Ann. Math. Artif. Intell.
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski
2009 J jnl
Modulo Constraints and the Complexity of Typechecking XML Views.
Theory Comput. Syst.
Jerzy Marcinkowski, Piotr Wieczorek
2009 J jnl
Prioritized Repairing and Consistent Query Answering in Relational Databases
CoRR
Slawomir Staworko, Jan Chomicki, Jerzy Marcinkowski
2009 J jnl
The cost of being co-Buchi is nonlinear
CoRR
Jerzy Marcinkowski, Jakub Michaliszyn
2008 J jnl
Disjunctive Databases for Representing Repairs
CoRR
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski
2006 B conf
On the Expressive Power of Graph Logic.
CSL
Jerzy Marcinkowski
2006 — conf
Preference-Driven Querying of Inconsistent Relational Databases.
EDBT Workshops
Slawomir Staworko, Jan Chomicki, Jerzy Marcinkowski
2005 J jnl
Minimal-change integrity maintenance using tuple deletions.
Inf. Comput.
Jan Chomicki, Jerzy Marcinkowski
2005 — conf
On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases.
Inconsistency Tolerance
Jan Chomicki, Jerzy Marcinkowski
2004 B ed.
Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
CSL
Jerzy Marcinkowski, Andrzej Tarlecki
2004 A conf
Computing consistent query answers using conflict hypergraphs.
CIKM
Jan Chomicki, Jerzy Marcinkowski, Slawomir Staworko
2004 B conf
Hippo: A System for Computing Consistent Answers to a Class of SQL Queries.
EDBT
Jan Chomicki, Jerzy Marcinkowski, Slawomir Staworko
2004 B conf
On a Semantic Subsumption Test.
LPAR
Jerzy Marcinkowski, Jan Otop, Grzegorz Stelmaszek
2003 J jnl
Thue trees.
Ann. Pure Appl. Log.
Jerzy Marcinkowski, Leszek Pacholski
2003 J jnl
Two techniques in the area of the star problem in trace monoids.
Theor. Comput. Sci.
Daniel Kirsten, Jerzy Marcinkowski
2002 J jnl
Minimal-Change Integrity Maintenance Using Tuple Deletions
CoRR
Jan Chomicki, Jerzy Marcinkowski
2002 J jnl
On the Computational Complexity of Consistent Query Answers
CoRR
Jan Chomicki, Jerzy Marcinkowski
2002 B conf
Optimal Complexity Bounds for Positive LTL Games.
CSL
Jerzy Marcinkowski, Tomasz Truderung
2002 J jnl
The [exist]*[forall]* Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable.
Inf. Comput.
Jerzy Marcinkowski
2001 A conf
A Toolkit for First Order Extensions of Monadic Games.
STACS
David Janin, Jerzy Marcinkowski
2001 A* conf
The Hierarchy inside Closed Monadic Sigma
LICS
André Arnold, Giacomo Lenzi, Jerzy Marcinkowski
1999 J jnl
Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs.
SIAM J. Comput.
Jerzy Marcinkowski
1999 B conf
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games.
CSL
Jerzy Marcinkowski
1999 A* conf
Two Techniques in the Area of the Star Problem.
ICALP
Daniel Kirsten, Jerzy Marcinkowski
1999 — conf
Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol.
RTA
Jerzy Marcinkowski
1997 — conf
Undecidability of the First Order Theory of One-Step Right Ground Rewriting.
RTA
Jerzy Marcinkowski
1996 A* conf
DATALOG SIRUPs Uniform Boundedness is Undecidable.
LICS
Jerzy Marcinkowski
1996 A conf
The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs.
STACS
Jerzy Marcinkowski
1993 B conf
A Horn Clause that Implies and Undecidable Set of Horn Clauses.
CSL
Jerzy Marcinkowski
1992 A* conf
Undecidability of the Horn-Clause Implication Problem
FOCS
Jerzy Marcinkowski, Leszek Pacholski