Nicht verfügbar

Person

Steffen van Bergerem

Adresse

nach Vereinbarung
 

Forschungsinteressen

Schnittstellen von Logik und maschinellem Lernen, Komplexitätstheorie

 
 

Publikationen

Quelle Beteiligte
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Doktorarbeit]
Descriptive complexity of learning, 2023
[DOI: 10.18154/RWTH-2023-02554]
van Bergerem, Steffen
[Fachzeitschriftenartikel]
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)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
[Buchbeitrag, Beitrag zu einem Tagungsband]
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)
 

Vorträge