Person

Martin Ritzert

M. Sc. RWTH

Assoziierter Promotionsstudent

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

Sprechstunde

nach Vereinbarung
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Beitrag zu einem Tagungsband]
Learning Definable Hypotheses on Trees
In: [22nd International Conference on Database Theory, ICDT19, 2019-03-26 - 2019-03-29, Lisbon, Portugal], 2019
[DOI: 10.4230/LIPICS.ICDT.2019.24]
Ritzert, Martin Alexander Felix
Grienenberger, Emilie
[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning first-order definable concepts over structures of small degree
In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 20-23 June 2017, Reykjavík, Iceland, 1-12, 2017
[DOI: 10.1109/LICS.2017.8005080]
Grohe, Martin
Ritzert, Martin Alexander Felix
[Buchbeitrag, Beitrag zu einem Tagungsband]
Learning MSO-definable hypotheses on strings
In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan], 434-451, 2017
Grohe, Martin
Löding, Christof
Ritzert, Martin