Forschungsprojekte

Die Forschungsgruppe "Working group on Answer Set Programming" WASP wird von der European Kommission, FET ("Forward Emerging Technologies") Initiative, unterstützt und fördert die Zusammenarbeit 17 Europäischer Universitäten auf dem Forschungsgebiet der Antwortmengenprogrammierung.

Die Forschungsgruppe "Conflicting Rules", finanziert von der Deutschen Forschungsgemeinschaft (DGF), fördert Kooperationen unter den Instuituten für Informatik, Linguistik, Psychology und theoretischen Physik.