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 | 499 | 2011 |

Answer set solving in practice M Gebser, R Kaminski, B Kaufmann, T Schaub Synthesis lectures on artificial intelligence and machine learning 6 (3), 1-238, 2012 | 493 | 2012 |

Clingo= ASP+ control: Preliminary report M Gebser, R Kaminski, B Kaufmann, T Schaub arXiv preprint arXiv:1405.3694, 2014 | 262 | 2014 |

Advances in *gringo* Series 3M Gebser, R Kaminski, A König, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 167 | 2011 |

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 | 152 | 2008 |

ASP-Core-2: Input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... ASP Standardization Working Group, 2012 | 143 | 2012 |

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 | 132 | 2016 |

A user’s guide to gringo, clasp, clingo, and iclingo M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele | 101 | 2008 |

Complex optimization in answer set programming M Gebser, R Kaminski, T Schaub arXiv preprint arXiv:1107.5742, 2011 | 89 | 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 | 85 | 2011 |

Reactive answer set programming M Gebser, T Grote, R Kaminski, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2011 | 77 | 2011 |

Progress in clasp series 3 M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015 | 66 | 2015 |

Abstract gringo M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub arXiv preprint arXiv:1507.06576, 2015 | 65 | 2015 |

Stream Reasoning with Answer Set Programming: Preliminary Report. M Gebser, T Grote, R Kaminski, P Obermeier, O Sabuncu, T Schaub KR, 2012 | 61 | 2012 |

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 | 58 | 2019 |

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 | 46 | 2015 |

On the Input Language of ASP Grounder *Gringo*M Gebser, R Kaminski, M Ostrowski, T Schaub, S Thiele International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 44 | 2009 |

On the implementation of weight constraint rules in conflict-driven ASP solvers M Gebser, R Kaminski, B Kaufmann, T Schaub International Conference on Logic Programming, 250-264, 2009 | 37 | 2009 |

aspcud: A linux package configuration tool based on answer set programming M Gebser, R Kaminski, T Schaub arXiv preprint arXiv:1109.0113, 2011 | 36 | 2011 |

Multi-criteria optimization in answer set programming M Gebser, R Kaminski, B Kaufmann, T Schaub Technical Communications of the 27th International Conference on Logic …, 2011 | 32 | 2011 |