23 citations · 28 across the 4 of their papers we have counts for
1 paper · 1 filter
Joohyung Lee, Yunsong Meng
Recently Ferraris, Lee and Lifschitz proposed a new definition of stable models that does not refer to grounding, which applies to the syntax of arbitrary first-order sentences. We…