5 citations · 8 across the 19 of their papers we have counts for
Showing 2024 · cs.AIShow all
2 papers · 2 filters
cs.AI2024
Goal-Driven Reasoning in DatalogMTL with Magic Sets
Shaoyu Wang, Kaiyue Zhao, Dongliang Wei +4
DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applica…
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…