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
5382012
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
5222011
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
2952014
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
1722011
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
1612016
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
1542008
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1242012
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1022008
Complex optimization in answer set programming
M Gebser, R Kaminski, T Schaub
Theory and Practice of Logic Programming 11 (4-5), 821-839, 2011
922011
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
872011
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
832019
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015
802015
Reactive answer set programming
M Gebser, T Grote, R Kaminski, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2011
752011
Progress in clasp series 3
M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
702015
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
612012
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
542020
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
532015
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
452009
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
402009
aspcud: A linux package configuration tool based on answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1109.0113, 2011
372011
The system can't perform the operation now. Try again later.
Articles 1–20