2 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Heng Zhang, Yan Zhang, Guifei Jiang
Existential rules, a.k.a. dependencies in databases, and Datalog+/- in knowledge representation and reasoning recently, are a family of important logical languages widely used in c…