Steffen van Bergerem

17 papers A* 4A 1B 3Journal 8
YearRankTypeTitle / Venue / Authors
2025 A conf
Learning Aggregate Queries Defined by First-Order Logic with Counting.
ICDT
Steffen van Bergerem, Nicole Schweikardt
2025 J jnl
Learning Concepts Definable in First-Order Logic with Counting.
Log. Methods Comput. Sci.
Steffen van Bergerem
2025 B conf
On the VC Dimension of First-Order Logic with Counting and Weight Aggregation.
CSL
Steffen van Bergerem, Nicole Schweikardt
2025 B conf
The Parameterized Complexity of Learning Monadic Second-Order Logic.
CSL
Steffen van Bergerem, Martin Grohe, Nina Runde
2024 J jnl
Learning Aggregate Queries Defined by First-Order Logic with Counting.
CoRR
Steffen van Bergerem, Nicole Schweikardt
2024 A* conf
Verification of Population Protocols with Unordered Data.
ICALP
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2024 J jnl
Verification of Population Protocols with Unordered Data.
CoRR
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2023 — —
Descriptive complexity of learning.
Steffen van Bergerem
2023 J jnl
On the Parameterized Complexity of Learning Monadic Second-Order Formulas.
CoRR
Steffen van Bergerem, Martin Grohe, Nina Runde
2023 A* conf
Simulating Logspace-Recursion with Logarithmic Quantifier Depth.
LICS
Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus
2023 J jnl
Simulating Logspace-Recursion with Logarithmic Quantifier Depth.
CoRR
Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus
2022 A* conf
On the Parameterized Complexity of Learning First-Order Logic.
PODS
Steffen van Bergerem, Martin Grohe, Martin Ritzert
2021 B conf
Learning Concepts Described By Weight Aggregation Logic.
CSL
Steffen van Bergerem, Nicole Schweikardt
2021 J jnl
On the Parameterized Complexity of Learning Logic.
CoRR
Steffen van Bergerem, Martin Grohe, Martin Ritzert
2020 J jnl
Learning Concepts Described by Weight Aggregation Logic.
CoRR
Steffen van Bergerem, Nicole Schweikardt
2019 A* conf
Learning Concepts Definable in First-Order Logic with Counting.
LICS
Steffen van Bergerem
2019 J jnl
Learning Concepts Definable in First-Order Logic with Counting.
CoRR
Steffen van Bergerem