6 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Marc Denecker, David S. Warren
Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarit…