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 | 18 | 2022 |
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 | 10 | 2019 |
Learning concepts described by weight aggregation logic S van Bergerem, N Schweikardt arXiv preprint arXiv:2009.10574, 2020 | 8 | 2020 |
Descriptive Complexity of Learning S van Bergerem RWTH Aachen University, 2023 | 1 | 2023 |
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 | 1 | 2021 |
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 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023 | | 2023 |