ASP-Core-2 Input Language Format
By Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, T. Krennwallner, Nicola Leone, M. Maratea, F. Ricca, Torsten Schaub. Theory and Practice of Logic Programming, 2019
312 citations recorded by the source corpus.
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.
Subfields: Artificial Intelligence, Computer Networks and Communications
View Paper: https://www.semanticscholar.org/paper/0acf4a034d9bcd3ce278af5d98c8363a0b77c118
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Benjamin Kaufmann
- Torsten Schaub
- Martin Gebser
- Roland Kaminski
- Samidh Talsania
- Joohyung Lee
- Yi Wang
- Antti Hyttinen
In Computer Networks and Communications
- Benjamin Kaufmann
- Torsten Schaub
- Martin Gebser
- Roland Kaminski
- Matti Järvisalo
- Frederick Eberhardt
- Antti Hyttinen
Citations in the corpus
- Computing LPMLN using ASP and MLN solvers* (2017, background): “2 An LP program Π is safe if its unweighted program Π is safe as defined by Calimeri et al. (2012). 3 In the case Head i is a disjunction l1; .”
- Multi-shot ASP solving with clingo (2017, background): “The input language of clingo extends the ASP-Core-2 standard (Calimeri et al. 2012) and has meanwhile been put in its entirety on solid semantic foundations (Gebser et al. 2015).”
- Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets (2024, methodology): “For more details on ASP, we refer to (Brewka, Eiter, and Truszczynski 2011; Calimeri et al. 2020).”