×

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; iClingo; MiniSat; DLV2; Clingcon; GASP; ASSAT; Datalog; ezcsp; GitHub; OMiGA; Chaff; sCASP; Lpopt; Lparse; Cmodels; oClingo
Referenced in: 105 Publications
all top 5

Referenced by 204 Authors

22 Schaub, Torsten H.
12 Gebser, Martin
10 Dodaro, Carmine
9 Calimeri, Francesco
9 Kaminski, Roland
8 Woltran, Stefan
7 Ricca, Francesco
7 Zangari, Jessica
6 Alviano, Mario
6 Maratea, Marco
6 Perri, Simona
5 Cabalar, Pedro
5 Eiter, Thomas
5 Wanko, Philipp
4 Inoue, Katsumi
4 Janhunen, Tomi
4 Romero, Javier
4 Schekotihin, Konstantin
4 Schüller, Peter
3 Andres, Benjamin
3 Baryannis, George
3 Batsakis, Sotiris
3 Bliem, Bernhard
3 Confalonieri, Roberto
3 Fandinno, Jorge
3 Friedrich, Gerhard E.
3 Hecher, Markus
3 Ianni, Giovambattista
3 Kutz, Oliver
3 Leone, Nicola
3 Lierler, Yuliya
3 Linsbichler, Thomas
3 Ostrowski, Max
3 Pacenza, Francesco
3 Siegel, Anne
3 Taupe, Richard
3 Weinzierl, Antonius
2 Abseher, Michael
2 Amendola, Giovanni
2 Antoniou, Grigoris
2 Arias, Joaquin
2 Bichler, Manuel
2 Brewka, Gerhard
2 Carro, Manuel
2 Charwat, Günther
2 Cropper, Andrew
2 Dusberger, Frederico
2 Ellmauthaler, Stefan
2 Eppe, Manfred
2 Everardo, Flavio
2 Faber, Wolfgang
2 Fichte, Johannes Klaus
2 Fuscà, Davide
2 Gelfond, Michael
2 Gupta, Gopal K.
2 Kaminski, Tobias
2 Kaufmann, Benjamin
2 Kohli, Pushmeet
2 Leite, João
2 Lifschitz, Vladimir
2 Magnin, Morgan
2 Mastria, Elena
2 Morak, Michael
2 Ogris, Paul
2 Plaza, Enric
2 Ribeiro, Tony
2 Roux, Olivier F.
2 Sabuncu, Orkunt
2 Schellhorn, Sebastian
2 Schorlemmer, Marco
2 Schuhmann, Anna
2 Sergot, Marek J.
2 Sridharan, Mohan
2 Tachmazidis, Ilias
2 Truszczyński, Mirosław
1 Abels, Dirk
1 Baroukh, Caroline
1 Basu, Kinjal
1 Beck, Harald
1 Becker, Bernd
1 Ben Abdallah, Emna
1 Bertolucci, Riccardo
1 Bhatt, Mehul
1 Bikakis, Antonis
1 Bockmayr, Alexander
1 Bogaerts, Bart
1 Bomanson, Jori
1 Bonet, Blai
1 Bošnjak, Matko
1 Bourdon, Jérémie
1 Burigana, Alessandro
1 Büsing, Lars
1 Capitanelli, Alessio
1 Cauteruccio, Francesco
1 Chai, Xinwei
1 Chen, Zhuo
1 Cinelli, Luca
1 Collet, Guillaume
1 Cottret, Ludovic
1 Cuteri, Bernardo
...and 104 more Authors

Referencing Publications by Year