MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations

Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob

Modern applications combine information from a great variety of sources. Oftentimes, some of these sources, like Machine-Learning systems, are not strictly binary but associated wi…