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 ASPCore-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.
ASP-Core-2 Input Language Format
Marco Maratea;
2020-01-01
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 ASPCore-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
asp-core-2-tplp.pdf
accesso aperto
Descrizione: Articolo su rivista
Tipologia:
Documento in versione editoriale
Dimensione
171.63 kB
Formato
Adobe PDF
|
171.63 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.