Fuzzy Datalog${}^{\exists }$ 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…