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
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Publikationen

Titel Autor*innen Erschienen in

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

 

Forschungsinteressen

Schnittstellen von Logik und maschinellem Lernen, Komplexitätstheorie