×

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; Datalog; Clingcon; DLV; Chaff; DLV2; OMiGA; DLV-EX; BerkMin; ezcsp
Cited in: 98 Publications
Further Publications: http://www.emsl.pnl.gov/docs/parsoft/armci/papers.htm

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
2015
all top 5

Cited 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
all top 5

Cited in 14 Serials

37 Theory and Practice of Logic Programming
11 Artificial Intelligence
4 Annals of Mathematics and Artificial Intelligence
3 Constraints
2 AI Communications
2 Machine Learning
2 ACM Transactions on Computational Logic
1 Journal of Computer and System Sciences
1 Theoretical Computer Science
1 Journal of Automated Reasoning
1 Journal of Logic and Computation
1 The Journal of Artificial Intelligence Research (JAIR)
1 Fundamenta Informaticae
1 Journal of Applied Logic
all top 5

Cited in 8 Fields

98 Computer science (68-XX)
9 Mathematical logic and foundations (03-XX)
6 Biology and other natural sciences (92-XX)
1 General and overarching topics; collections (00-XX)
1 Convex and discrete geometry (52-XX)
1 Operations research, mathematical programming (90-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year