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

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

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.

Originalspracheenglisch
Seiten (von - bis)294-309
Seitenumfang16
FachzeitschriftTheory and Practice of Logic Programming
Jahrgang20
Ausgabenummer2
DOIs
PublikationsstatusVeröffentlicht - 20 März 2020

ASJC Scopus subject areas

  • Software
  • Artificial intelligence
  • Theoretische Informatik
  • Hardware und Architektur
  • Theoretische Informatik und Mathematik

Dieses zitieren