ALP 2019 Award an Martin Gebser

Martin Gebser wurde im Rahmen der 35. International Conference on Logic Programming mit dem „Alain Colmerauer 10 year test of time award“ ausgezeichnet.

Im Artikel mit dem Titel „Constraint Answer Set Solving“ der Forscher Martin Gebser, Max Ostrowski und Torsten Schaub (Universität Potsdam) wird eine Erweiterung der bekannten mathematischen Logik, die intuitive Schlussfolgerungen formalisiert und ein verbreitetes Beschreibungsmittel für computerisiert zu lösende Probleme darstellt, vorgestellt. Dieser Beitrag wurde auf der 25. International Conference on Logic Programming im Jahr 2009 publiziert.

„Die Verbindung von logischen und numerischen Repräsentationsmitteln ermöglicht eine flexible und transparente Modellierung komplexer Anwendungsprobleme aus den Naturwissenschaften, der Robotik und der Wirtschaft“, erklärt Martin Gebser. Dabei führt der Autor die deutlich verbesserte Planung von Fertigungsschritten in der Halbleiterproduktion als Anwendungsbeispiel für die entwickelte Methodik an.

Im Paper stellen die Autoren, neben der logischen Modellierung numerischer Bedingungen, das prototypische Softwaresystem clingcon vor, mit dessen Hilfe die von Anwendern entworfenen Problembeschreibungen automatisiert gelöst werden können. Gebser dazu: „Inzwischen ist die dritte Generation des clingcon-Systems für den Einsatz in Lehre, Forschung und Industrie frei verfügbar, und etwa ein halbes Dutzend vergleichbare Lösungssysteme wurden durch die Technologie von clingcon inspiriert.“

Da der Artikel „Constraint Answer Set Solving“ die Forschung und Praxis der Informatik nachhaltig mitgeprägt hat, wurde er in diesem Jahr anlässlich der 35. International Conference on Logic Programming mit dem „Alain Colmerauer 10 Year Test of Time Award“ ausgezeichnet. Die Konferenz fand heuer vom 20. bis 25. September 2019 in Las Cruces, New Mexiko, USA statt.

 

Martin Gebser hat seit Oktober 2018 die Stiftungsprofessur „Industrie 4.0: Adaptive und Vernetzte Produktionssysteme“ am Institut für Angewandte Informatik inne.

 

Gebser, M. Ostrowski, T. Schaub. Constraint Answer Set Solving. ICLP 2009, International Conference on Logic Programming, pages 235-249, Pasadena, USA, July 2009.
Link zum  aper: https://link.springer.com/chapter/10.1007/978-3-642-02846-5_22

 

Link zur Konferenz: https://www.cs.nmsu.edu/ALP/iclp2019/awards.html