Steffen van Bergerem

Learning Concepts Definable in First-Order Logic with Counting

2019 · arXiv (Cornell University)

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, LICS 2017) that classifiers definable in first-order logic over …