activity
20222026
most citedOn the relative asymptotic expressivity of inference frameworks

3 citations · 3 across the 11 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2023

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers

Vera Koponen, Felix Weitkämper

We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination…