Jerzy Marcinkowski
机构: Institute of Computer Science, University of Wrocław
每年引用次数
引用次数
引用: 1,425
H-指数: 17
I10-指数 : 25
出版物: 55
Undecidability of the ∃*∀* part of the theory of ground term algebra modulo an AC symbol
J. Marcinkowski
rewriting techniques and applications 92 -102
1
1999
DATALOG SIRUPs uniform boundedness is undecidable
J. Marcinkowski
logic in computer science 13 -24
11
1996
ERGONOMIC STANDARDS FOR MACHINERY, DEVICES, AND WORK STANDS IN THE POTATO INDUSTRY. ASSUMPTIONS TO THE PROJECT.
Jerzy S Marcinkowski , Zygmunt Niewiedział , Włodzimierz Balcerek , Zbigniew Skrentny
Ergonomics International 88: Proceedings of the Tenth Congress of the International Ergonomics Association, 1-5 August 1988, Sydney, Australia 160 -160
1
1988
Converging to the Chase -- A Tool for Finite Controllability
Tomasz Gogacz , Jerzy Marcinkowski
logic in computer science 540 -549
13
2013
Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable
Grzegorz Głuch , Piotr Ostropolski-Nalewaja , Jerzy Marcinkowski
arXiv: Databases
2018
What Makes a Variant of Query Determinacy (Un)Decidable? (Invited Talk).
Jerzy Marcinkowski
international conference on database theory
1
2020
The Undecidability of the Logic of Subintervals
Jerzy Marcinkowski , Jakub Michaliszyn
Fundamenta Informaticae 131 ( 2) 217 -240
48
2014
Computing consistent query answers using conflict hypergraphs
Jan Chomicki , Jerzy Marcinkowski , Slawomir Staworko ,
conference on information and knowledge management 417 -426
87
2004
Undecidability of the first order theory of one-step right ground rewriting
Jerzy Marcinkowski
Rewriting Techniques and Applications 241 -253
21
1997
B and D Are Enough to Make the Halpern–Shoham Logic Undecidable
Jerzy Marcinkowski , Jakub Michaliszyn , Emanuel Kieroński
Automata, Languages and Programming 357 -368
12
2010
The Ultimate Undecidability Result for the Halpern-Shoham Logic
Jerzy Marcinkowski , Jakub Michaliszyn
2011 IEEE 26th Annual Symposium on Logic in Computer Science 377 -386
28
2011
Preference-driven querying of inconsistent relational databases
Slawomir Staworko , Jan Chomicki , Jerzy Marcinkowski ,
extending database technology 318 -335
23
2006
Converging to the chase – A tool for finite controllability☆
Tomasz Gogacz , Jerzy Marcinkowski
Journal of Computer and System Sciences 83 ( 1) 180 -206
2
2017
Prioritized repairing and consistent query answering in relational databases
Sławek Staworko , Jan Chomicki , Jerzy Marcinkowski
Annals of Mathematics and Artificial Intelligence 64 ( 2) 209 -246
69
2012
Disjunctive databases for representing repairs
Cristian Molinaro , Jan Chomicki , Jerzy Marcinkowski
Annals of Mathematics and Artificial Intelligence 57 ( 2) 103 -124
7
2009
On the Expressive Power of Graph Logic
Jerzy Marcinkowski
Computer Science Logic 486 -500
5
2006
Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games
Jerzy Marcinkowski
computer science logic 338 -349
7
1999
Thue trees
Jerzy Marcinkowski , Leszek Pacholski
Annals of Pure and Applied Logic 119 ( 1-3) 19 -59
1
2003
Minimal-change integrity maintenance using tuple deletions
Jan Chomicki , Jerzy Marcinkowski
Information & Computation 197 ( 1) 90 -121
313
2005
Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs
Jerzy Marcinkowski
SIAM Journal on Computing 29 ( 1) 231 -257
12
1999