Potassco swMATH ID: 6996 Software Authors: Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius Description: Potassco: the Potsdam answer set solving collection. This paper gives an overview of the open source project Potassco, the Potsdam answer set solving collection, bundling tools for answer set programming developed at the University of Potsdam. Homepage: http://potassco.sourceforge.net/ Keywords: answer set programming; declarative problem solving Related Software: Clingo; Gringo; clasp; MiniSat; WASP; ASSAT; iClingo; Chaff; Smodels; Clingcon; Lparse; DLV2; SATzilla; Gurobi; Datalog; PyBoolNet; GitHub; asprin; DLV-EX; ASPIDE Cited in: 83 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Potassco: the Potsdam answer set solving collection. Zbl 1215.68214Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius 2011 all top 5 Cited by 175 Authors 12 Schaub, Torsten H. 9 Gebser, Martin 6 Eiter, Thomas 5 Kaminski, Roland 4 Erdem, Esra 4 Wallner, Johannes Peter 4 Woltran, Stefan 3 Benhamou, Belaid 3 Dodaro, Carmine 3 Gaggl, Sarah Alice 3 Gottlob, Georg 3 Janhunen, Tomi 3 Kaufmann, Benjamin 3 Knorr, Matthias 3 Krennwallner, Thomas 3 Redl, Christoph 3 Thielscher, Michael 2 De Cock, Martine 2 Dvořák, Wolfgang 2 Fichte, Johannes Klaus 2 Fink, Michael 2 Gonçalves, Ricardo 2 Järvisalo, Matti 2 Kaminski, Tobias 2 Law, Mark M. 2 Leite, João 2 Lierler, Yuliya 2 Morak, Michael 2 Ostrowski, Max 2 Pieris, Andreas 2 Pontelli, Enrico 2 Ricca, Francesco 2 Russo, Alessandra M. 2 Sabuncu, Orkunt 2 Schockaert, Steven 2 Soliman, Sylvain 2 Szeider, Stefan 2 Tompits, Hans 2 Trinh, Van-Giang 2 Zhang, Yuanlin 1 Achterberg, Tobias 1 Alviano, Mario 1 Amendola, Giovanni 1 Andres, Benjamin 1 Aschinger, Markus 1 Bauters, Kim 1 Beck, Harald 1 Beck, J. Christopher 1 Bendtsen, Marcus 1 Bisiani, Roberto 1 Bliem, Bernhard 1 Blount, Justin 1 Bockmayr, Alexander 1 Bofill, Miquel 1 Böhl, Elisa 1 Bomanson, Jori 1 Brandt, Felix 1 Broda, Krysia B. 1 Busquets, Dídac 1 Charwat, Günther 1 Chimani, Markus 1 Chobtham, Kiattikun 1 Constantinou, Anthony C. 1 Cropper, Andrew 1 Dague, Philippe 1 Danks, David 1 De Raedt, Luc 1 Dovier, Agostino 1 Drescher, Conrad 1 Eberhardt, Frederick 1 Esparza, Javier 1 Everardo, Flavio 1 Faber, Wolfgang 1 Falkner, Andreas A. 1 Fidan, Müge 1 Flouris, Giorgos 1 Fodor, Paul 1 Formisano, Andrea 1 Friedrich, Gerhard E. 1 Gao, Tiantian 1 Geist, Christian 1 Gelfond, Michael 1 Godo, Lluís 1 Greßler, Alexander 1 Grote, Torsten 1 Guitart, Francesc 1 Gupta, Gopal 1 Hansen, Zachary 1 Harrenstein, Paul 1 Haufe, Sebastian 1 Hedtke, Ivo 1 Hermenegildo, Manuel V. 1 Herzig, Andreas 1 Hiraishi, Kunihiko 1 Hoos, Holger H. 1 Hung, Ling-Hong 1 Hyttinen, Antti 1 Iocchi, Luca 1 Irigoin-Guichandut, Marc 1 Izmirlioglu, Yusuf ...and 75 more Authors all top 5 Cited in 18 Serials 17 Theory and Practice of Logic Programming 9 Artificial Intelligence 4 Annals of Mathematics and Artificial Intelligence 3 International Journal of Approximate Reasoning 2 Machine Learning 2 Constraints 2 ACM Transactions on Computational Logic 1 Fuzzy Sets and Systems 1 Journal of Philosophical Logic 1 Theoretical Computer Science 1 Social Choice and Welfare 1 AI Communications 1 The Journal of Artificial Intelligence Research (JAIR) 1 Data Mining and Knowledge Discovery 1 Fundamenta Informaticae 1 Natural Computing 1 Lecture Notes in Computer Science 1 Journal of Theoretical Biology all top 5 Cited in 10 Fields 78 Computer science (68-XX) 7 Operations research, mathematical programming (90-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Biology and other natural sciences (92-XX) 5 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Statistics (62-XX) 2 Mathematics education (97-XX) 1 General and overarching topics; collections (00-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year