Подписаться
Roland Kaminski
Roland Kaminski
Подтвержден адрес электронной почты в домене cs.uni-potsdam.de
Название
Процитировано
Процитировано
Год
Answer set solving in practice
M Gebser, R Kaminski, B Kaufmann, T Schaub
Springer Nature, 2022
7412022
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
6122011
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
3812014
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
2872019
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
2762016
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
1992011
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
1732020
Engineering an incremental ASP solver
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
1692008
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1682012
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1212008
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015
1072015
Complex optimization in answer set programming
M Gebser, R Kaminski, T Schaub
Theory and Practice of Logic Programming 11 (4-5), 821-839, 2011
1072011
A portfolio solver for answer set programming: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub, MT Schneider, S Ziller
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
1022011
Progress in clasp Series 3
M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
842015
Reactive answer set programming
M Gebser, T Grote, R Kaminski, T Schaub
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
842011
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
812015
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
682012
Clingo goes linear constraints over reals and integers
T Janhunen, R Kaminski, M Ostrowski, S Schellhorn, P Wanko, T Schaub
Theory and Practice of Logic Programming 17 (5-6), 872-888, 2017
602017
aspcud: A linux package configuration tool based on answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1109.0113, 2011
512011
On the Input Language of ASP Grounder Gringo
M Gebser, R Kaminski, M Ostrowski, T Schaub, S Thiele
Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009
512009
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20