ASP-Core-2 Input Language Format

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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Theory and practice of logic programming Ročník 20; číslo 2; s. 294 - 309
Hlavní autori: CALIMERI, FRANCESCO, FABER, WOLFGANG, GEBSER, MARTIN, IANNI, GIOVAMBATTISTA, KAMINSKI, ROLAND, KRENNWALLNER, THOMAS, LEONE, NICOLA, MARATEA, MARCO, RICCA, FRANCESCO, SCHAUB, TORSTEN
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Cambridge Cambridge University Press 01.03.2020
Predmet:
Aggregates
Collections
Competition
Computer science
Declarative programming
Knowledge representation
Language
Linear programming
Logic programming
Mathematical programming
Semantics
Standardization
Syntax
ISSN:1471-0684, 1475-3081
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1471-0684
1475-3081
DOI:10.1017/S1471068419000450