×

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; ASSAT; Chaff; iClingo; WASP; Clingcon; Lparse; Gurobi; Datalog; Smodels; SATzilla; DLV-EX; ASPIDE; Cmodels; aspcud; GDL; GitHub
Cited in: 74 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
2011
all top 5

Cited by 154 Authors

12 Schaub, Torsten H.
9 Gebser, Martin
6 Eiter, Thomas
5 Kaminski, Roland
4 Erdem, Esra
4 Woltran, Stefan
3 Dodaro, Carmine
3 Gottlob, Georg
3 Janhunen, Tomi
3 Kaufmann, Benjamin
3 Krennwallner, Thomas
3 Redl, Christoph
3 Thielscher, Michael
3 Wallner, Johannes Peter
2 De Cock, Martine
2 Dvořák, Wolfgang
2 Fichte, Johannes Klaus
2 Fink, Michael
2 Gaggl, Sarah Alice
2 Gao, Tiantian
2 Gonçalves, Ricardo
2 Kaminski, Tobias
2 Knorr, Matthias
2 Law, Mark M.
2 Leite, João
2 Lierler, Yuliya
2 Morak, Michael
2 Ostrowski, Max
2 Pieris, Andreas
2 Ricca, Francesco
2 Russo, Alessandra M.
2 Sabuncu, Orkunt
2 Schockaert, Steven
2 Szeider, Stefan
2 Tompits, Hans
2 Zhang, Yuanlin
1 Achterberg, Tobias
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 Bomanson, Jori
1 Brandt, Felix
1 Broda, Krysia B.
1 Busquets, Dídac
1 Charwat, Günther
1 Chimani, Markus
1 Cropper, Andrew
1 Danks, David
1 De Raedt, Luc
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 Friedrich, Gerhard E.
1 Geist, Christian
1 Gelfond, Michael
1 Godo, Lluís
1 Greßler, Alexander
1 Grote, Torsten
1 Guitart, Francesc
1 Hansen, Zachary
1 Harrenstein, Paul
1 Haufe, Sebastian
1 Hedtke, Ivo
1 Herzig, Andreas
1 Hoos, Holger H.
1 Hung, Ling-Hong
1 Hyttinen, Antti
1 Iocchi, Luca
1 Izmirlioglu, Yusuf
1 Järvisalo, Matti
1 Kahl, Patrick Thor
1 Kain, Tobias
1 Kifer, Michael
1 Klarner, Hannes
1 Koenig, Sven
1 Koponen, Laura
1 Kumar, T. K. Satish
1 Le, Franck
1 Le, Tiep
1 Leclerc, Anthony P.
1 Leonetti, Matteo
1 Lindauer, Marius
1 Linsbichler, Thomas
1 Liu, Yanhong Annie
1 Lobo, Jorge
...and 54 more Authors
all top 5

Cited in 15 Serials

15 Theory and Practice of Logic Programming
9 Artificial Intelligence
3 International Journal of Approximate Reasoning
3 Annals of Mathematics and Artificial Intelligence
2 Machine Learning
2 Constraints
2 ACM Transactions on Computational Logic
1 Fuzzy Sets and Systems
1 Journal of Philosophical Logic
1 Social Choice and Welfare
1 AI Communications
1 The Journal of Artificial Intelligence Research (JAIR)
1 Fundamenta Informaticae
1 Natural Computing
1 Lecture Notes in Computer Science
all top 5

Cited in 9 Fields

71 Computer science (68-XX)
7 Operations research, mathematical programming (90-XX)
6 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
4 Mathematical logic and foundations (03-XX)
4 Biology and other natural sciences (92-XX)
2 Combinatorics (05-XX)
2 Mathematics education (97-XX)
1 General and overarching topics; collections (00-XX)
1 Statistics (62-XX)

Citations by Year