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ženo v:
Podrobná bibliografie
Vydáno v:Theory and practice of logic programming Ročník 20; číslo 2; s. 294 - 309
Hlavní autoři: 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:angličtina
Vydáno: Cambridge Cambridge University Press 01.03.2020
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1471-0684
1475-3081
DOI:10.1017/S1471068419000450