Conflict-driven answer set solving: From theory to practice M Gebser, B Kaufmann, T Schaub Artificial Intelligence 187, 52-89, 2012 | 929 | 2012 |
Answer set solving in practice M Gebser, R Kaminski, B Kaufmann, T Schaub Springer Nature, 2022 | 766 | 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 | 623 | 2011 |
clasp: A Conflict-Driven Answer Set Solver M Gebser, B Kaufmann, A Neumann, T Schaub Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007 | 443 | 2007 |
Clingo= ASP+ control: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub arXiv preprint arXiv:1405.3694, 2014 | 392 | 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 | 317 | 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 | 288 | 2016 |
GrinGo: A New Grounder for Answer Set Programming M Gebser, T Schaub, S Thiele Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007 | 266 | 2007 |
Advances in gringo Series 3 M Gebser, R Kaminski, A König, T Schaub Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 204 | 2011 |
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 | 190 | 2020 |
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 | 170 | 2008 |
ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012 | 167 | 2012 |
Constraint answer set solving M Gebser, M Ostrowski, T Schaub Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009 | 155 | 2009 |
The second answer set programming competition M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009 | 145 | 2009 |
Design and results of the fifth answer set programming competition F Calimeri, M Gebser, M Maratea, F Ricca Artificial Intelligence 231, 151-181, 2016 | 138 | 2016 |
A user’s guide to gringo, clasp, clingo, and iclingo M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele | 122 | 2008 |
Detecting inconsistencies in large biological networks with answer set programming M Gebser, T Schaub, S Thiele, P Veber Theory and Practice of Logic Programming 11 (2-3), 323-360, 2011 | 121 | 2011 |
The first answer set programming system competition M Gebser, L Liu, G Namasivayam, A Neumann, T Schaub, M Truszczyński Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007 | 119 | 2007 |
A meta-programming technique for debugging answer-set programs. M Gebser, J Pührer, T Schaub, H Tompits AAAI 8, 448-453, 2008 | 117 | 2008 |
Conflict-Driven Disjunctive Answer Set Solving. C Drescher, M Gebser, T Grote, B Kaufmann, A König, M Ostrowski, ... KR 8, 422-432, 2008 | 114 | 2008 |