Homepage: Erfolg beim Wettbewerb für Informatik

Das Institut für Informatik der Uni Potsdam hat erfolgreich am Internationalen Wettbewerb für Antwortmengenberechnungssysteme teilgenommen. Eine Antwortmenge beschreibt ein logisches Modell einer Problemstellung. Die Ergebnisse des Wettbewerbs wurden im Rahmen der Internationalen Konferenz für Logisches Programmieren und Nichtmonotones Schließen in Phoenix/Arizona präsentiert. Das vom Informatikstudenten Benjamin Kaufmann im Rahmen seiner Diplomarbeit an der Professur für Wissensverarbeitung und Informationssysteme des Instituts für Informatik entwickelte System „clasp“ nahm in drei Kategorien teil. Insgesamt war „clasp“ das erfolgreichste System im Wettbewerb. PNN