3 papers
cs.DC2024
Verification of Population Protocols with Unordered Data
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer +3
Population protocols are a well-studied model of distributed computation in which a group of anonymous finite-state agents communicates via pairwise interactions. Together they dec…
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.LO2020
Learning Concepts Described by Weight Aggregation Logic
Steffen van Bergerem, Nicole Schweikardt
We consider weighted structures, which extend ordinary relational structures by assigning weights, i.e. elements from a particular group or ring, to tuples present in the structure…