Person
Steffen van Bergerem
Address
Office Hours
- by appointment
Research Interests
Connections between logics and computational learning theory, computational complexity theory
Publications
| Source | Authors and Contributors |
|---|---|
| [Contribution to a book, Contribution to a conference proceedings] Simulating Logspace-Recursion with Logarithmic Quantifier Depth In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 26 - 29 June 2023, Boston, USA, 2023, 2023 [DOI: 10.1109/LICS56636.2023.10175818] | van Bergerem, Steffen (Corresponding author) Grohe, Martin (Corresponding author) Kiefer, Sandra (Corresponding author) Oeljeklaus, Luca Frédéric Tilmann (Corresponding author) |
| [Dissertation / PhD Thesis] Descriptive complexity of learning, 2023 [DOI: 10.18154/RWTH-2023-02554] | van Bergerem, Steffen |
| [Journal Article] Classification of properties and their relation to chemical bonding : Essential steps toward the inverse design of functional materials In: Science advances, 8 (47), eade0828, 2022 [DOI: 10.1126/sciadv.ade0828] | Schön, Carl-Friedrich van Bergerem, Steffen Mattes, Christian Yadav, Aakash Grohe, Martin Kobbelt, Leif Wuttig, Matthias (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] On the Parameterized Complexity of Learning First-Order Logic In: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems / Libkin, Leonid, 337-346, 2022 [DOI: 10.1145/3517804.3524151] | van Bergerem, Steffen (Corresponding author) Grohe, Martin Ritzert, Martin |
| [Contribution to a book, Contribution to a conference proceedings] Learning Concepts Described By Weight Aggregation Logic In: 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq, 10:1-10:18, 2021 [DOI: 10.4230/LIPICS.CSL.2021.10] | van Bergerem, Steffen (Corresponding author) Schweikardt, Nicole (Corresponding author) |
| [Contribution to a book, Contribution to a conference proceedings] Learning Concepts Definable in First-Order Logic with Counting In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE, 13 Seiten, 2019 [DOI: 10.1109/LICS.2019.8785811] | van Bergerem, Steffen (Corresponding author) |