×

Gringo

swMATH ID: 4630
Software Authors: Martin Gebser, Roland Kaminski, Benjamin Kaufmann,Max Ostrowski, Torsten Schaub, Sven Thiele
Description: This document provides an introduction to the Answer Set Programming (ASP) tools gringo, clasp, clingo, and iclingo, developed at the University of Potsdam. The first tool, gringo, is a grounder capable of translating logic programs provided by users into equivalent propositional logic programs. The answer sets of such programs can be computed by clasp, which is a solver. The third tool, clingo, integrates the functionalities of gringo and clasp, thus, acting as a monolithic solver for user programs. Finally, iclingo extends clingo by an incremental mode that incorporates both grounding and solving. For one, this document aims at enabling ASP novices to make use of the aforementioned tools. For another, it provides a reference of their features that ASP adepts might be tempted to exploit.
Homepage: http://www.cs.utexas.edu/~vl/teaching/lbai/clingo_guide.pdf
Related Software: clasp; Clingo; Lparse; WASP; ASSAT; MiniSat; Potassco; iClingo; Smodels; Cmodels; GASP; DLV; Datalog; Clingcon; DLV2; OMiGA; Chaff; DLV-EX; ezcsp; anthem
Referenced in: 98 Publications
Further Publications: http://www.emsl.pnl.gov/docs/parsoft/armci/papers.htm
all top 5

Referenced by 177 Authors

25 Schaub, Torsten H.
18 Gebser, Martin
12 Lifschitz, Vladimir
9 Alviano, Mario
9 Faber, Wolfgang
8 Kaminski, Roland
8 Leone, Nicola
7 Ricca, Francesco
6 Dodaro, Carmine
6 Harrison, Amelia
5 Calimeri, Francesco
5 Janhunen, Tomi
5 Kaufmann, Benjamin
5 Perri, Simona
5 Schüller, Peter
4 Cabalar, Pedro
4 Fandinno, Jorge
4 Lierler, Yuliya
4 Maratea, Marco
4 Ostrowski, Max
4 Tasharrofi, Shahab
4 Thiele, Sven
4 Woltran, Stefan
3 Ianni, Giovambattista
3 Lefèvre, Claire
3 Ternovska, Eugenia
3 Zangari, Jessica
2 Andres, Benjamin
2 Bhatt, Mehul
2 Brain, Martin
2 De Vos, Marina
2 Eiter, Thomas
2 Everardo, Flavio
2 Fink, Michael
2 Friedrich, Gerhard E.
2 Gasteiger, Philip
2 Gelfond, Michael
2 Järvisalo, Matti
2 Krennwallner, Thomas
2 Lühne, Patrick
2 Mitchell, David G. M.
2 Nicolas, Pascal
2 Schekotihin, Konstantin
2 Siegel, Anne
2 Taupe, Richard
2 Veber, Philippe
2 Weinzierl, Antonius
1 Aavani, Amir
1 Abels, Dirk
1 Abseher, Michael
1 Aguado, Felicidad
1 Amendola, Giovanni
1 Antoniou, Grigoris
1 Banbara, Mutsunori
1 Baryannis, George
1 Baselice, Sabrina
1 Batsakis, Sotiris
1 Béatrix, Christopher
1 Becker, Bernd
1 Benz, Mishal
1 Bichler, Manuel
1 Bisiani, Roberto
1 Bliem, Bernhard
1 Boenn, Georg
1 Bogaerts, Bart
1 Bonatti, Piero Andrea
1 Brewka, Gerhard
1 Calautti, Marco
1 Catalano, Gelsomina
1 Charwat, Günther
1 Collet, Guillaume
1 Cristiá, Maximiliano
1 Cuteri, Bernardo
1 Czeizler, Eugen
1 Delgrande, James P.
1 Diéguez, Martín
1 Drescher, Christian
1 Dusberger, Frederico
1 Dvořák, Wolfgang
1 Dworschak, Steve
1 Eduati, Federica
1 Elkhatib, Omar
1 Ellmauthaler, Stefan
1 Eppe, Manfred
1 Erdem, Esra
1 Eveillard, Damien
1 Fariñas del Cerro, Luis
1 Fichte, Johannes Klaus
1 Fiorini, Paolo
1 Fitch, John
1 Fuscà, Davide
1 Garcia, Laurent
1 Garea, Javier
1 Glass, Michael S.
1 Gonçalves, Ricardo
1 Göös, Mika
1 Greco, Gianluigi
1 Greco, Sergio
1 Grell, Susanne
1 Grote, Torsten
...and 77 more Authors

Referencing Publications by Year