Matthias Lanzinger

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

2022 · Theory and Practice of Logic Programming

Abstract 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 with some degree of (lack of) confidence in the observation. …