6 citations · 10 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
On the Parameterized Complexity of Learning First-Order Logic
Steffen van Bergerem, Martin Grohe, Martin Ritzert
We analyse the complexity of learning first-order queries in a model-theoretic framework for supervised learning introduced by (Grohe and Turán, TOCS 2004). Previous research on th…
cs.LO2019★ 6 cited
Learning definable hypotheses on trees
Emilie Grienenberger, Martin Ritzert
We study the problem of learning properties of nodes in tree structures. Those properties are specified by logical formulas, such as formulas from first-order or monadic second-ord…