ASP-Core-2 Input Language Format

Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish
Pages (from-to)294-309
Number of pages16
JournalTheory and Practice of Logic Programming
Volume20
Issue number2
DOIs
Publication statusPublished - 20 Mar 2020

Keywords

  • Answer Set Programming
  • knowledge representation and reasoning
  • standard language
  • standardization

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics

Cite this