1 citations · 1 across the 1 of their papers we have counts for
1 paper
Pierre Carbonnelle, Matthias Van der Hallen, Marc Denecker
We argue that in some KR applications, we want to quantify over sets of concepts formally represented by symbols in the vocabulary. We show that this quantification should be disti…