  Standardization of solver input languages has been a main driver for the
growth of several areas within knowledge representation and reasoning,
fostering the exploitation in actual applications. In this document we present
the ASP-Core-2 standard input language for Answer Set Programming, which has
been adopted in ASP Competition events since 2013.
