GASP swMATH ID: 7096 Software Authors: Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco Description: GASP: Answer set programming with lazy grounding. In recent years, Answer Set Programming has gained popularity as a viable paradigm for applications in knowledge representation and reasoning. This paper presents a novel methodology to compute answer sets of an answer set program. The proposed methodology maintains a bottom-up approach to the computation of answer sets (as in existing systems), but it makes use of a novel structuring of the computation, that originates from the non-ground version of the program. Grounding is lazily performed during the computation of the answer sets. The implementation has been realized using Constraint Logic Programming over finite domains. Homepage: http://users.dimi.uniud.it/~agostino.dovier/PAPERS/LaSh08.pdf Keywords: answer set programmin; logic programming; non-monotonic reasoning Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; DLV2; Datalog; Clingcon; ezcsp; sCASP; Cmodels; MiniSat; DLV-EX; Smodels; GitHub; claspfolio 2; Chaff; MiniZinc; iClingo Cited in: 17 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year GASP: Answer set programming with lazy grounding. Zbl 1207.68118Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 2009 all top 5 Cited by 39 Authors 4 Calimeri, Francesco 4 Ianni, Giovambattista 4 Schüller, Peter 4 Zangari, Jessica 3 Eiter, Thomas 3 Perri, Simona 2 Dodaro, Carmine 2 Friedrich, Gerhard E. 2 Krennwallner, Thomas 2 Lefèvre, Claire 2 Pacenza, Francesco 2 Ricca, Francesco 2 Taupe, Richard 2 Weinzierl, Antonius 1 Arias, Joaquin 1 Béatrix, Christopher 1 Bichler, Manuel 1 Carro, Manuel 1 Cuteri, Bernardo 1 Dal Palù, Alessandro 1 De Bortoli, Marco 1 Dovier, Agostino 1 Fink, Michael 1 Fuscà, Davide 1 Garcia, Laurent 1 Gebser, Martin 1 Gupta, Gopal K. 1 Maratea, Marco 1 Marple, Kyle 1 Morak, Michael 1 Nicolas, Pascal 1 Pontelli, Enrico 1 Redl, Christoph 1 Rossi, Gianfranco 1 Salazar, Elmer 1 Saribatur, Zeynep Gozen 1 Schekotihin, Konstantin 1 Stéphan, Igor 1 Woltran, Stefan Cited in 3 Serials 10 Theory and Practice of Logic Programming 2 Artificial Intelligence 1 Fundamenta Informaticae Cited in 1 Field 17 Computer science (68-XX) Citations by Year