Person

Dr.

Martin Ritzert

Nicht verfügbar

Adresse

 

Forschungsinteressen

Schnittstellen von Logik und Machine Learning, Komplexität, Machine learning auf Graphen

UnRAVeL Graduiertenkolleg

Assoziiertes Mitglied im Graduiertenkolleg UnRAVel über Unsicherheit und Zufall in Algorithmen, Verifikation und Logik.

 

Publikationen

Titel Autor*innen Erschienen in
Learning definable hypotheses on trees Emilie Grienenberger, Martin Ritzert 22nd International Conference on Database Theory, ICDT 2019, March 26-28 2019, Lisbon, Portugal
Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks Christopher Morris, Martin Ritzert, Matthias Fey, William L. Hamilton, Jan Eric Lenssen, Gaurav Rattan, Martin Grohe 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019.

Learning MSO-definable hypotheses on string

Martin Grohe,
Christof Löding,
Martin Ritzert		 International Conference on Algorithmic Learning Theory, ALT 2017, 15-17 October 2017, Kyoto University, Kyoto, Japan
Learning first-order definable concepts over structures of small degree Martin Grohe,
Martin Ritzert		 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017