Roland Kaminski
Roland Kaminski
Verified email at cs.uni-potsdam.de
Title
Cited by
Cited by
Year
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
4992011
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
4932012
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
2622014
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
1672011
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
1522008
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1432012
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
1322016
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1012008
Complex optimization in answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1107.5742, 2011
892011
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
852011
Reactive answer set programming
M Gebser, T Grote, R Kaminski, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2011
772011
Progress in clasp series 3
M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
662015
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
arXiv preprint arXiv:1507.06576, 2015
652015
Stream Reasoning with Answer Set Programming: Preliminary Report.
M Gebser, T Grote, R Kaminski, P Obermeier, O Sabuncu, T Schaub
KR, 2012
612012
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
582019
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
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
372009
aspcud: A linux package configuration tool based on answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1109.0113, 2011
362011
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
322011
The system can't perform the operation now. Try again later.
Articles 1–20