26 citations · 28 across the 4 of their papers we have counts for
1 paper · 1 filter
Matthew Francis-Landau, Tim Vieira, Jason Eisner
We present a scheme for translating logic programs, which may use aggregation and arithmetic, into algebraic expressions that denote bag relations over ground terms of the Herbrand…