Potassco: The Potsdam Answer Set Solving Collection
Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten H. Schaub, Marius Schneider · AI Communications · 2011
Answer Set Programming (ASP; [5]) has become a popular approach to declarative problem solving in the field of Knowledge Representation and Reasoning (KRR; [79]). This is mainly due to its appealing combination