×

Clingo

swMATH ID: 9893
Software Authors: Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Torsten Schaub
Description: Potassco, the Potsdam Answer Set Solving Collection, bundles tools for Answer Set Programming developed at the University of Potsdam: Clingo combines both gringo and clasp into a monolithic system. This way it offers more control over the grounding and solving process than gringo and clasp can offer individually - e.g., incremental grounding and solving. Clingo comes with its own version of claspD-2 and hence now supports parallel- and disjunctive solving. Attention! The languages of Gringo 3 and 4 are not fully compatible because Gringo 4 adheres to the recent ASP language standard. For processing legacy encodings, we recommend downloading the latest version of Gringo 3 in addition to Gringo 4.
Homepage: http://potassco.sourceforge.net/
Related Software: Gringo; clasp; WASP; Potassco; DLV2; iClingo; MiniSat; Clingcon; ASSAT; LARS; GASP; sCASP; Datalog; OMiGA; Chaff; ezcsp; GitHub; Cmodels; ProbLog; oClingo
Cited in: 139 Documents
all top 5

Cited by 280 Authors

26 Schaub, Torsten H.
12 Dodaro, Carmine
12 Gebser, Martin
9 Alviano, Mario
9 Kaminski, Roland
9 Ricca, Francesco
9 Woltran, Stefan
8 Cabalar, Pedro
8 Calimeri, Francesco
6 Eiter, Thomas
6 Maratea, Marco
6 Romero, Javier
6 Zangari, Jessica
5 Janhunen, Tomi
5 Perri, Simona
5 Wanko, Philipp
4 Baryannis, George
4 Batsakis, Sotiris
4 Cropper, Andrew
4 Fandinno, Jorge
4 Gupta, Gopal
4 Hecher, Markus
4 Inoue, Katsumi
4 Lierler, Yuliya
4 Schekotihin, Konstantin
4 Schuhmann, Anna
4 Schüller, Peter
3 Andres, Benjamin
3 Arias, Joaquin
3 Bliem, Bernhard
3 Brewka, Gerhard
3 Carro, Manuel
3 Confalonieri, Roberto
3 Diéguez, Martín
3 Fichte, Johannes Klaus
3 Friedrich, Gerhard E.
3 Ianni, Giovambattista
3 Kutz, Oliver
3 Leone, Nicola
3 Linsbichler, Thomas
3 Morak, Michael
3 Ostrowski, Max
3 Pacenza, Francesco
3 Paulevé, Loïc
3 Siegel, Anne
3 Taupe, Richard
3 Weinzierl, Antonius
2 Abseher, Michael
2 Amendola, Giovanni
2 Antoniou, Grigoris
2 Azzolini, Damiano
2 Basu, Kinjal
2 Bichler, Manuel
2 Bikakis, Antonis
2 Charwat, Günther
2 Chen, Zhuo
2 Delgrande, James P.
2 Dusberger, Frederico
2 Ellmauthaler, Stefan
2 Eppe, Manfred
2 Everardo, Flavio
2 Faber, Wolfgang
2 Fariñas del Cerro, Luis
2 Fiorentino, Salvatore
2 Fuscà, Davide
2 Gaggl, Sarah Alice
2 Gelfond, Michael
2 Kaminski, Tobias
2 Kaufmann, Benjamin
2 Kimmig, Angelika
2 Kohli, Pushmeet
2 Leite, João
2 Lifschitz, Vladimir
2 Magnin, Morgan
2 Morel, Rolf
2 Ogris, Paul
2 Plaza, Enric
2 Previti, Alessandro
2 Ribeiro, Tony
2 Riguzzi, Fabrizio
2 Roux, Olivier F.
2 Sabuncu, Orkunt
2 Schellhorn, Sebastian
2 Schorlemmer, Marco
2 Sergot, Marek J.
2 Sridharan, Mohan
2 Tachmazidis, Ilias
2 Thimm, Matthias
2 Totis, Pietro
2 Truszczyński, Mirosław
2 Vennekens, Joost
2 Wallner, Johannes Peter
1 Abels, Dirk
1 Abreu, Salvador
1 Aguirre-Samboní, Giann Karlo
1 Angiulli, Fabrizio
1 Baert, Mattijs
1 Baroukh, Caroline
1 Bassiliades, Nick
1 Beck, Harald
...and 180 more Authors

Citations by Year