Stefano Sferrazza

MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)

Modern data processing applications often combine information from a variety of complex sources. Oftentimes, some of these sources, like Machine-Learning systems or crowd-sourced data, are not strictly binary but associated with some degree of confidence in the observation. Ideally, reasoning over s…