| Answer set solving in practice M Gebser, R Kaminski, B Kaufmann, T Schaub Springer Nature, 2022 | 817 | 2022 |
| Potassco: The Potsdam answer set solving collection M Gebser, B Kaufmann, R Kaminski, M Ostrowski, T Schaub, M Schneider Ai Communications 24 (2), 107-124, 2011 | 643 | 2011 |
| Clingo= ASP+ control: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub arXiv preprint arXiv:1405.3694, 2014 | 413 | 2014 |
| Multi-shot ASP solving with clingo M Gebser, R Kaminski, B Kaufmann, T Schaub Theory and Practice of Logic Programming 19 (1), 27-82, 2019 | 398 | 2019 |
| Theory solving made easy with clingo 5 M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, P Wanko Technical Communications of the 32nd International Conference on Logic …, 2016 | 320 | 2016 |
| ASP-Core-2 input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... Theory and Practice of Logic Programming 20 (2), 294-309, 2020 | 249 | 2020 |
| Advances in gringo Series 3 M Gebser, R Kaminski, A König, T Schaub Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 216 | 2011 |
| Engineering an incremental ASP solver M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 175 | 2008 |
| ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012 | 148 | 2012 |
| A user’s guide to gringo, clasp, clingo, and iclingo M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele | 125 | 2008 |
| Abstract gringo M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015 | 122 | 2015 |
| Complex optimization in answer set programming M Gebser, R Kaminski, T Schaub Theory and Practice of Logic Programming 11 (4-5), 821-839, 2011 | 115 | 2011 |
| A portfolio solver for answer set programming: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub, MT Schneider, S Ziller International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 107 | 2011 |
| Progress in clasp Series 3 M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015 | 95 | 2015 |
| Potassco user guide M Gebser, R Kaminski, B Kaufmann, M Lindauer, M Ostrowski, J Romero, ... Institute for Informatics, University of Potsdam, second edition edition 69, 2015 | 91 | 2015 |
| Reactive answer set programming M Gebser, T Grote, R Kaminski, T Schaub Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 87 | 2011 |
| Clingo goes linear constraints over reals and integers T Janhunen, R Kaminski, M Ostrowski, S Schellhorn, P Wanko, T Schaub Theory and Practice of Logic Programming 17 (5-6), 872-888, 2017 | 82 | 2017 |
| Stream Reasoning with Answer Set Programming: Preliminary Report. M Gebser, T Grote, R Kaminski, P Obermeier, O Sabuncu, T Schaub KR, 2012 | 70 | 2012 |
| How to build your own ASP-based system?! R Kaminski, J Romero, T Schaub, P Wanko Theory and Practice of Logic Programming 23 (1), 299-361, 2023 | 60 | 2023 |
| aspcud: A linux package configuration tool based on answer set programming M Gebser, R Kaminski, T Schaub arXiv preprint arXiv:1109.0113, 2011 | 59 | 2011 |
