关注
Roland Kaminski
Roland Kaminski
在 cs.uni-potsdam.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
Answer set solving in practice
M Gebser, R Kaminski, B Kaufmann, T Schaub
Springer Nature, 2022
7632022
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
6212011
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub
arXiv preprint arXiv:1405.3694, 2014
3882014
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
3092019
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
2852016
Advances in gringo Series 3
M Gebser, R Kaminski, A König, T Schaub
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
2032011
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
1882020
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
1702008
ASP-Core-2: Input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
ASP Standardization Working Group, 2012
1662012
A user’s guide to gringo, clasp, clingo, and iclingo
M Gebser, R Kaminski, B Kaufmann, M Ostrowski, T Schaub, S Thiele
1222008
Complex optimization in answer set programming
M Gebser, R Kaminski, T Schaub
Theory and Practice of Logic Programming 11 (4-5), 821-839, 2011
1112011
Abstract gringo
M Gebser, A Harrison, R Kaminski, V Lifschitz, T Schaub
Theory and Practice of Logic Programming 15 (4-5), 449-463, 2015
1082015
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
1032011
Progress in clasp Series 3
M Gebser, R Kaminski, B Kaufmann, J Romero, T Schaub
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
872015
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
842015
Reactive answer set programming
M Gebser, T Grote, R Kaminski, T Schaub
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
842011
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
692012
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
662017
aspcud: A linux package configuration tool based on answer set programming
M Gebser, R Kaminski, T Schaub
arXiv preprint arXiv:1109.0113, 2011
522011
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
502009
系统目前无法执行此操作,请稍后再试。
文章 1–20