3 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju
We argue that turning a logic program into a set of completed definitions can be sometimes thought of as the "reverse engineering" process of generating a set of conditions that co…