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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory and practice of logic programming Jg. 20; H. 2; S. 294 - 309
Hauptverfasser: CALIMERI, FRANCESCO, FABER, WOLFGANG, GEBSER, MARTIN, IANNI, GIOVAMBATTISTA, KAMINSKI, ROLAND, KRENNWALLNER, THOMAS, LEONE, NICOLA, MARATEA, MARCO, RICCA, FRANCESCO, SCHAUB, TORSTEN
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Cambridge Cambridge University Press 01.03.2020
Schlagworte:
Aggregates
Collections
Competition
Computer science
Declarative programming
Knowledge representation
Language
Linear programming
Logic programming
Mathematical programming
Semantics
Standardization
Syntax
ISSN:1471-0684, 1475-3081
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1471-0684
1475-3081
DOI:10.1017/S1471068419000450