The Potsdam Answer Set Solving Collection 5.0

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick L├╝hne, Philipp Obermeier, Max Ostrowski, Javier Romero 0003, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko. The Potsdam Answer Set Solving Collection 5.0. KI, 32(2-3):181-182, 2018. [doi]

Abstract

Abstract is missing.