header: MPI-I and Uni Koblenz
Matthias Horbach

News: Jahrestreffen der GI-Fachgruppe Deduktionssysteme
Am 26. September 2016 an der Alpen-Adria-Universit├Ąt in Klagenfurt im Rahmen der KI 2016.

Research Interests