10 Years Test of Time Award für Publikation von Martin Gebser

Mit einem Test of Time Award werden Publikationen ausgezeichnet, die vor 10 Jahren veröffentlicht wurden und einen nachhaltigen und wichtigen Einfluss auf die Forschung in einem speziellen Fachgebiet haben. Im Rahmen der ICLP (International Conference on Logic Programming) Mitte Oktober in Dallas/Texas wurde nun Martin Gebser (Institut für Artificial Intelligence und Cybersecurity) für einen Beitrag ausgezeichnet, den er gemeinsam mit Co-Autoren 2014 veröffentlicht hatte.

Welche Erkenntnisse für die Forschungslandschaft nachhaltig und weitreichend von Bedeutung sind, lässt sich nur selten unmittelbar nach deren Veröffentlichung feststellen. Um aber Paper zu würdigen, von denen sich nach einem Jahrzehnt herausstellt, dass sie tatsächlich nachhaltige Wirkung entfaltet haben, gibt es die so genannten 10 Years Test of Time Awards.

Mit einem solchen wurden nun Martin Gebser (Universität Klagenfurt), Roland Kaminski, Benjamin Kaufmann und Torsten Schaub (alle drei Universität Potsdam) im Rahmen der ICLP 2024 ausgezeichnet. Geehrt wurde damit der Beitrag „Clingo = ASP + Control: Preliminary Report“, der eine allgemeine logische Beschreibungssprache für komplexe Suchprobleme vorschlägt. Martin Gebser erklärt dazu: „Wir haben für eine Reihe von Problemen wie Stunden-, Produktionsplanung oder Logistik Algorithmen, die auf 0/1-Variablen aufbauen. In der Realität ist aber vieles komplizierter und flexibler, weswegen wir eine Beschreibung vorschlagen, die es erlaubt bestehende Methoden anzupassen, zu erweitern und so komplexere Prozesse abzubilden.“

Der Preis für diesen Artikel erzählt auch viel darüber, wie der Wissenschaftsbetrieb funktioniert. Das Paper, das die vier Forscher vor 10 Jahren eingereicht hatten, wurde damals nur in einer Kurzversion akzeptiert. „Im Laufe der Zeit hat sich jedoch herausgestellt, dass die damaligen Arbeiten von hoher Relevanz für die Forschung im Bereich Logic Programming waren. Nun wird der Beitrag nachträglich gewürdigt, was uns sehr freut“, so Martin Gebser.

M. Gebser, R. Kaminski, B. Kaufmann & T. Schaub (2014). Clingo = ASP + Control: Preliminary Report, https://arxiv.org/pdf/1405.3694. (Langversion unter https://www.cs.uni-potsdam.de/wv/publications/TEMP_journals/corr/GebserKKS14x.pdf)