BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//labri.fr//NONSGML kigkonsult.se iCalcreator 2.41.92//
CALSCALE:GREGORIAN
METHOD:PUBLISH
UID:064f5060-6c9e-4016-9065-4712ee6cf3fa
X-WR-CALNAME:[RATIO] Gianluca Cima
X-WR-TIMEZONE:Europe/Paris
BEGIN:VTIMEZONE
TZID:Europe/Paris
TZUNTIL:20240331T010000Z
BEGIN:STANDARD
TZNAME:CET
DTSTART:20211031T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RDATE:20221030T030000
RDATE:20231029T030000
END:STANDARD
BEGIN:DAYLIGHT
TZNAME:CEST
DTSTART:20220327T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20230326T020000
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:064f5060-6c9e-4016-9065-4712ee6cf3fa
DTSTAMP:20260404T084636Z
CLASS:PUBLIC
DESCRIPTION:We revisit the problem of entity resolution and propose a novel
 \, logical framework\, LACE\, which mixes declarative and procedural eleme
 nts to achieve a number of desirable properties. Our approach is fundament
 ally declarative in nature: it utilizes hard and soft rules to specify con
 ditions under which pairs of entity references must or may be merged\, tog
 ether with denial constraints that enforce consistency of the resulting in
 stance. Importantly\, however\, rule bodies are evaluated on the instance 
 resulting from applying the already ‘derived’ merges. It is the dynamic na
 ture of our semantics that enables us to capture collective entity resolut
 ion scenarios\, where merges can trigger further merges\, while at the sam
 e time ensuring that every merge can be justified. As the denial constrain
 ts restrict which merges can be performed together\, we obtain a space of 
 (maximal) solutions\, from which we can naturally define notions of certai
 n and possible merges and query answers. We explore the computational prop
 erties of our framework and determine the precise computational complexity
  of the relevant decision problems. Furthermore\, as a first step towards 
 implementing our approach\, we demonstrate how we can encode the various r
 easoning tasks using answer set programming.
DTSTART;TZID=Europe/Paris:20220607T140000
DTEND;TZID=Europe/Paris:20220607T150000
LOCATION:178
SEQUENCE:0
SUMMARY:[RATIO] Gianluca Cima
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR
