ASP-Core-2 Input Language Format. Issue 2 (20th March 2020)

• Record Type: Journal Article
• Authors: CALIMERI, FRANCESCO; FABER, WOLFGANG; GEBSER, MARTIN; IANNI, GIOVAMBATTISTA; KAMINSKI, ROLAND; KRENNWALLNER, THOMAS; LEONE, NICOLA; MARATEA, MARCO; RICCA, FRANCESCO; SCHAUB, TORSTEN
• Is Part Of: Theory and practice of logic programming. Volume 20:Issue 2(2020)
• Page Start: 294
• Page End: 309
• Publication Date: 2020-03-20
• Subjects: Answer Set Programming, -- standard language, -- knowledge representation and reasoning, -- standardization; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068419000450
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: 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.