Roland Kaminski
Roland Kaminski
Verified email at cs.uni-potsdam.de
TitleCited byYear
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
4432011
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
4052012
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
2092014
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
1442011
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
1392008
ASP-Core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
arXiv preprint arXiv:1911.04326, 2019
1202019
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
912008
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
882016
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
772011
Complex optimization in answer set programming
M Gebser, R Kaminski, T Schaub
Theory and Practice of Logic Programming 11 (4-5), 821-839, 2011
702011
Reactive answer set programming
M Gebser, T Grote, R Kaminski, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2011
692011
Progress in clasp series 3
M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
602015
Stream reasoning with answer set programming: Preliminary report
M Gebser, T Grote, R Kaminski, P Obermeier, O Sabuncu, T Schaub
Thirteenth International Conference on the Principles of Knowledge …, 2012
592012
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015
542015
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
412009
Potassco user guide
M Gebser, R Kaminski, B Kaufmann, M Lindauer, M Ostrowski, J Romero, ...
Institute for Informatics, University of Potsdam, second edition edition, 2015
372015
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
352009
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
312011
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
292019
aspcud: A linux package configuration tool based on answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1109.0113, 2011
292011
The system can't perform the operation now. Try again later.
Articles 1–20