Person

Steffen van Bergerem

M. Sc. RWTH
Nicht verfügbar
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4117a

Ahornstr. 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21702

Sprechstunde

nach Vereinbarung
 

Forschungsinteressen

Schnittstellen von Logik und maschinellem Lernen, Komplexitätstheorie

 

Publikationen

Titel Autor*innen Erschienen in

Learning Concepts Described By Weight Aggregation Logic

Slides

Steffen van Bergerem, Nicole Schweikardt

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

DOI: 10.4230/LIPIcs.CSL.2021.10

Learning Concepts Definable in First-Order Logic with Counting

Slides

Steffen van Bergerem

34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019

DOI: 10.1109/LICS.2019.8785811