Sergey A. Stupnikov. Semantics and Verification of Entity Resolution and Data Fusion Operations via Transformation into a Formal Notation. In Leonid A. Kalinichenko, Sergei O. Kuznetsov, Yannis Manolopoulos, editors, Data Analytics and Management in Data Intensive Domains - XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11-14, 2016, Revised Selected Papers. Volume 706 of Communications in Computer and Information Science, pages 145-162, 2016. [doi]
Abstract is missing.