6 citations · 6 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures
Steffen van Bergerem, Martin Grohe, Charlotte Lenz +1
We prove a rank-preserving version of Gaifman's Theorem. Compared to earlier rank-preserving locality theorems (in particular, [Grohe, Kreutzer, Siebertz, JACM 2017]), our theorem…
cs.LO2019★ 6 cited
Learning Concepts Definable in First-Order Logic with Counting
Steffen van Bergerem
We study Boolean classification problems over relational background structures in the logical framework introduced by Grohe and Turán (TOCS 2004). It is known (Grohe and Ritzert, L…