Person

Steffen van Bergerem

M. Sc. RWTH
Steffen Van Bergerem
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Address

Building: Erweiterungsbau 1

Room: 4117a

Ahornstr. 55

52074 Aachen

Contact

WorkPhone
Phone: +49 241 80 21702

Office Hours

by appointment
 

Research Interests

Connections between logics and computational learning theory, computational complexity theory

 

Publications

Title Authors Published 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