We are very excited to join forces with MLCommons and OctoML.ai! Contact Grigori Fursin for more details!

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.

Relevant initiatives  

Related knowledge about this paper Reproduced results (crowd-benchmarking and competitions) Artifact and reproducibility checklists Common formats for research projects and shared artifacts Reproducibility initiatives

Comments  

Please log in to add your comments!
If you notice any inapropriate content that should not be here, please report us as soon as possible and we will try to remove it within 48 hours!