Folgen
Roland Kaminski
Roland Kaminski
Bestätigte E-Mail-Adresse bei cs.uni-potsdam.de
Titel
Zitiert von
Zitiert von
Jahr
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
6222012
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
5662011
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
3232014
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
2102016
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
1812011
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1602012
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
1572008
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
1532019
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1102008
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
1072020
Complex optimization in answer set programming
M Gebser, R Kaminski, T Schaub
Theory and Practice of Logic Programming 11 (4-5), 821-839, 2011
1002011
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
962011
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015
902015
Reactive answer set programming
M Gebser, T Grote, R Kaminski, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2011
812011
Progress in clasp series 3
M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
772015
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
652012
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
612015
aspcud: A linux package configuration tool based on answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1109.0113, 2011
442011
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
422009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20