Torsten SchaubPotassco, the Potsdam Answer Set Solving Collection; March 28th, 15:00 Katarina SingerFebruary 21, 2013Talks