Steffen van Bergerem

According to our database, Steffen van Bergerem authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Descriptive complexity of learning.

Steffen van Bergerem

PhD thesis, 2023

On the Parameterized Complexity of Learning Monadic Second-Order Formulas.

Steffen van Bergerem, Martin Grohe, Nina Runde

CoRR, 2023

Simulating Logspace-Recursion with Logarithmic Quantifier Depth.

Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

LICS, 2023

2022

On the Parameterized Complexity of Learning First-Order Logic.

Steffen van Bergerem, Martin Grohe, Martin Ritzert

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2021

On the Parameterized Complexity of Learning Logic.

Steffen van Bergerem, Martin Grohe, Martin Ritzert

CoRR, 2021

Learning Concepts Described By Weight Aggregation Logic.

Steffen van Bergerem, Nicole Schweikardt

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2019

Learning Concepts Definable in First-Order Logic with Counting.

Steffen van Bergerem

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019