16 citations · 16 across the 4 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.DB2024
Soft and Constrained Hypertree Width
Matthias Lanzinger, Cem Okulmus, Reinhard Pichler +2
Hypertree decompositions provide a way to evaluate Conjunctive Queries (CQs) in polynomial time, where the exponent of this polynomial is determined by the width of the decompositi…
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…