We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI
< prev | next >
new | recent | 1911

Change to browse by:

cs
cs.LO

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Artificial Intelligence

Title: ASP-Core-2 Input Language Format

Authors: Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
(Submitted on 11 Nov 2019)
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.
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
Journal reference: Theory and Practice of Logic Programming 20 (2020) 294-309
DOI: 10.1017/S1471068419000450
Cite as: arXiv:1911.04326 [cs.AI]
  (or arXiv:1911.04326v1 [cs.AI] for this version)

Submission history

From: Francesco Calimeri [view email]
[v1] Mon, 11 Nov 2019 15:14:00 GMT (323kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.