31 citations · 83 across the 33 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
Uniform One-Dimensional Fragment over Ordered Structures
Jonne Iso-Tuisku, Antti Kuusisto
The uniform one-dimensional fragment U1 is a recently introduced extension of the two-variable fragment FO2. The logic U1 enables the use of relation symbols of all arities and the…
cs.LO2018
Weighted model counting beyond two-variable logic
Antti Kuusisto, Carsten Lutz
It was recently shown by van den Broeck at al. that the symmetric weighted first-order model counting problem (WFOMC) for sentences of two-variable logic FO2 is in polynomial time,…