2 papers
cs.AI2024
Fuzzy Datalog over Arbitrary t-Norms
Matthias Lanzinger, Stefano Sferrazza, Przemysław A. Wałęga +1
One of the main challenges in the area of Neuro-Symbolic AI is to perform logical reasoning in the presence of both neural and symbolic data. This requires combining heterogeneous…
cs.LO2022
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…