Roland Kaminski
Roland Kaminski
Verified email at cs.uni-potsdam.de
Title
Cited by
Cited by
Year
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
5062012
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
5062011
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
2752014
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
1592011
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
1512008
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1472012
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
1352016
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
962008
Complex optimization in answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1107.5742, 2011
912011
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
802011
Reactive answer set programming
M Gebser, T Grote, R Kaminski, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2011
732011
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
arXiv preprint arXiv:1507.06576, 2015
712015
Progress in clasp series 3
M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
672015
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
642019
Stream Reasoning with Answer Set Programming: Preliminary Report.
M Gebser, T Grote, R Kaminski, P Obermeier, O Sabuncu, T Schaub
KR, 2012
602012
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
462015
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
442009
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
362020
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
362009
aspcud: A linux package configuration tool based on answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1109.0113, 2011
352011
The system can't perform the operation now. Try again later.
Articles 1–20