This portal has been archived. Explore the next generation of this technology.
ASP-Core-2 Input Language Format
lib:2e2f4d96cfbb4708 (v1.0.0)
Authors: Francesco Calimeri,Wolfgang Faber,Martin Gebser,Giovambattista Ianni,Roland Kaminski,Thomas Krennwallner,Nicola Leone,Marco Maratea,Francesco Ricca,Torsten Schaub
ArXiv: 1911.04326
Document: PDF DOI
Abstract URL: https://arxiv.org/abs/1911.04326v1
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.
ArXiv: 1911.04326
Document: PDF DOI
Abstract URL: https://arxiv.org/abs/1911.04326v1
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.
Relevant initiatives
Related knowledge about this paper
Reproduced results (crowd-benchmarking and competitions)
Artifact and reproducibility checklists
- ACM/cTuning artifact appendix and reproducibility checklist
- NeurIPS reproducibility checklist
- SIGPLAN's checklist for empirical evaluation
- Collective Knowledge (organizing research projects based on FAIR principles)