Spremljaj
Steffen van Bergerem
Steffen van Bergerem
Preverjeni e-poštni naslov na informatik.hu-berlin.de
Naslov
Navedeno
Navedeno
Leto
Classification of properties and their relation to chemical bonding: Essential steps toward the inverse design of functional materials
CF Schön, S van Bergerem, C Mattes, A Yadav, M Grohe, L Kobbelt, ...
Science Advances 8 (47), eade0828, 2022
162022
On the Parameterized Complexity of Learning First-Order Logic
S van Bergerem, M Grohe, M Ritzert
Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2022
10*2022
Learning concepts definable in first-order logic with counting
S van Bergerem
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
102019
Learning concepts described by weight aggregation logic
S van Bergerem, N Schweikardt
arXiv preprint arXiv:2009.10574, 2020
82020
Descriptive Complexity of Learning
S van Bergerem
RWTH Aachen University, 2023
12023
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
B Klin, A Mahboubi, S Schmitz, L Westrick, S Abramsky, RS Barbosa, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2021
12021
On the Parameterized Complexity of Learning Monadic Second-Order Formulas
S van Bergerem, M Grohe, N Runde
arXiv preprint arXiv:2309.10489, 2023
2023
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
S van Bergerem, M Grohe, S Kiefer, L Oeljeklaus
arXiv preprint arXiv:2304.12948, 2023
2023
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–8