The Seventh Answer Set Programming Competition: Design and Results
  Answer Set Programming (ASP) is a prominent knowledge representation language
with roots in logic programming and non-monotonic reasoning. Biennial ASP
competitions are organized in order to furnish challenging benchmark
collections and assess the advancement of the state of the art in ASP solving.
  In this paper, we report on the design and results of the Seventh ASP
Competition, jointly organized by the University of Calabria (Italy), the
University of Genova (Italy), and the University of Potsdam (Germany), in
affiliation with the 14th International Conference on Logic Programming and
Non-Monotonic Reasoning (LPNMR 2017). (Under consideration for acceptance in
TPLP).
