| Conflict-driven answer set solving: From theory to practice M Gebser, B Kaufmann, T Schaub Artificial Intelligence 187, 52-89, 2012 | 1001 | 2012 |
| Answer set solving in practice M Gebser, R Kaminski, B Kaufmann, T Schaub Springer Nature, 2022 | 900 | 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 | 672 | 2011 |
| 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 | 519 | 2019 |
| clasp: A Conflict-Driven Answer Set Solver M Gebser, B Kaufmann, A Neumann, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007 | 465 | 2007 |
| Clingo= ASP+ control: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub arXiv preprint arXiv:1405.3694, 2014 | 448 | 2014 |
| 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 | 353 | 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 | 311 | 2020 |
| Gringo: A new grounder for answer set programming M Gebser, T Schaub, S Thiele International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007 | 283 | 2007 |
| Advances in gringo Series 3 M Gebser, R Kaminski, A König, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 230 | 2011 |
| Autofolio: An automatically configured algorithm selector M Lindauer, HH Hoos, F Hutter, T Schaub Journal of Artificial Intelligence Research 53, 745-778, 2015 | 218 | 2015 |
| A framework for compiling preferences in logic programs JP Delgrande, T Schaub, H Tompits Theory and Practice of Logic Programming 3 (2), 129-187, 2003 | 184 | 2003 |
| Engineering an incremental ASP solver M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele International Conference on Logic Programming, 190-205, 2008 | 179 | 2008 |
| A classification and survey of preference handling approaches in nonmonotonic reasoning J Delgrande, T Schaub, H Tompits, K Wang Computational Intelligence 20 (2), 308-334, 2004 | 174 | 2004 |
| asprin: Customizing Answer Set Preferences without a Headache G Brewka, J Delgrande, J Romero, T Schaub Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015 | 166 | 2015 |
| Introduction to inconsistency tolerance L Bertossi, A Hunter, T Schaub Inconsistency Tolerance, 1-14, 2005 | 165 | 2005 |
| Constraint answer set solving M Gebser, M Ostrowski, T Schaub International Conference on Logic Programming, 235-249, 2009 | 157 | 2009 |
| A user’s guide to gringo, clasp, clingo, and iclingo M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele | 155 | 2008 |
| ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012 | 154 | 2012 |
| Unsatisfiability-based optimization in clasp B Andres, B Kaufmann, O Matheis, T Schaub Technical Communications of the 28th International Conference on Logic …, 2012 | 151 | 2012 |
Martin GebserUniversity of KlagenfurtVerified email at aau.at
