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 Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year Multi-shot ASP solving with clingo. Zbl 1486.68027Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 2019 Clingo goes linear constraints over reals and integers. Zbl 1422.68024Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten 2017 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 all top 5 Cited in 12 Serials 44 Theory and Practice of Logic Programming 20 Artificial Intelligence 6 Machine Learning 5 Annals of Mathematics and Artificial Intelligence 3 The Journal of Artificial Intelligence Research (JAIR) 2 International Journal of Approximate Reasoning 1 Journal of Logic and Computation 1 Journal of Applied Non-Classical Logics 1 Constraints 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Algorithms all top 5 Cited in 9 Fields 133 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 9 Biology and other natural sciences (92-XX) 4 Operations research, mathematical programming (90-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year