ASP-Core-2 Input Language Format

11/11/2019
by   Francesco Calimeri, et al.
5

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset