Concepedia

Jerzy Marcinkowski

JM

12

Publications

727

Citations

11

H-Index

1992

Active since

Affiliations

University of Wrocław(Current)

University at Buffalo, State University of New York

Institute of Computer Science

Czech Academy of Sciences, Institute of Computer Science

Jerzy Marcinkowski is an author at University of Wrocław specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationData ScienceData ManagementQuery OptimizationComputational ComplexityManagement

Publications per year

1992–2016

12

Publications

12

Minimal-change integrity maintenance using tuple deletions

Jan Chomicki, Jerzy Marcinkowski · Information and Computation · 2005 · 343 citations

Software Maintenance, Engineering, Data Integrity +10

Computing consistent query answers using conflict hypergraphs

Jan Chomicki, Jerzy Marcinkowski · 2004 · 94 citations

Relational Database, Engineering, Uncertain Database +22

Prioritized repairing and consistent query answering in relational databases

Sławek Staworko, Jan Chomicki, Jerzy Marcinkowski · Annals of Mathematics and Artificial Intelligence · 2012 · 90 citations · Full text

Engineering, Information Retrieval, Data Science +9

The Undecidability of the Logic of Subintervals

Jerzy Marcinkowski, Jakub Michaliszyn · Fundamenta Informaticae · 2014 · 43 citations

Non-classical Logic, Engineering, Substructural Logic +10

Undecidability of the Horn-clause implication problem

Jerzy Marcinkowski, Leszek Pacholski · 1992 · 38 citations

Pure Predicate Logic, Engineering, Relevance Logic +12

Rows per page

1–5 of 12