×
Compute Distance To:
Author ID: kaminski.roland Recent zbMATH articles by "Kaminski, Roland"
Published as: Kaminski, Roland
Documents Indexed: 22 Publications since 2008
Co-Authors: 34 Co-Authors with 22 Joint Publications
473 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 215 times in 162 Documents Cited by Year
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
48
2011
Multi-shot ASP solving with clingo. Zbl 1486.68027
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
31
2019
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
24
2015
Progress in clasp series 3. Zbl 1467.68181
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Romero, Javier; Schaub, Torsten
18
2015
Engineering an incremental ASP solver. Zbl 1185.68159
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten; Thiele, Sven
18
2008
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
15
2011
ASP-Core-2 input language format. Zbl 1472.68180
Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten
13
2020
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
7
2017
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
7
2011
Reactive answer set programming. Zbl 1327.68063
Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten
7
2011
On the implementation of weight constraint rules in conflict-driven ASP solvers. Zbl 1251.68059
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
6
2009
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
3
2018
telingo = ASP + time. Zbl 07115979
Cabalar, Pedro; Kaminski, Roland; Morkisch, Philip; Schaub, Torsten
3
2019
Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048
Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago
3
2013
Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414
Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten
3
2015
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
Writing declarative specifications for clauses. Zbl 1483.68378
Gebser, Martin; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten; Tasharrofi, Shahab
2
2016
The return of xorro. Zbl 07115981
Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten
1
2019
ASP-Core-2 input language format. Zbl 1472.68180
Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten
13
2020
Multi-shot ASP solving with clingo. Zbl 1486.68027
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
31
2019
telingo = ASP + time. Zbl 07115979
Cabalar, Pedro; Kaminski, Roland; Morkisch, Philip; Schaub, Torsten
3
2019
The return of xorro. Zbl 07115981
Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten
1
2019
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
3
2018
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
7
2017
Writing declarative specifications for clauses. Zbl 1483.68378
Gebser, Martin; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten; Tasharrofi, Shahab
2
2016
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
24
2015
Progress in clasp series 3. Zbl 1467.68181
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Romero, Javier; Schaub, Torsten
18
2015
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414
Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten
3
2015
Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048
Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago
3
2013
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
Potassco: the Potsdam answer set solving collection. Zbl 1215.68214
Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius
48
2011
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
15
2011
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
7
2011
Reactive answer set programming. Zbl 1327.68063
Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten
7
2011
On the implementation of weight constraint rules in conflict-driven ASP solvers. Zbl 1251.68059
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
6
2009
Engineering an incremental ASP solver. Zbl 1185.68159
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten; Thiele, Sven
18
2008
all top 5

Cited by 312 Authors

21 Schaub, Torsten H.
11 Dodaro, Carmine
11 Eiter, Thomas
11 Lifschitz, Vladimir
10 Gebser, Martin
9 Woltran, Stefan
8 Alviano, Mario
8 Ricca, Francesco
7 Calimeri, Francesco
7 Zangari, Jessica
6 Kaminski, Roland
6 Maratea, Marco
6 Schekotihin, Konstantin
5 Harrison, Amelia
5 Perri, Simona
4 Amendola, Giovanni
4 Erdem, Esra
4 Fandinno, Jorge
4 Gaggl, Sarah Alice
4 Ianni, Giovambattista
4 Janhunen, Tomi
4 Krennwallner, Thomas
4 Lierler, Yuliya
4 Morak, Michael
4 Siegel, Anne
4 Wallner, Johannes Peter
4 Wanko, Philipp
3 Beck, Harald
3 Bichler, Manuel
3 Bogaerts, Bart
3 Cabalar, Pedro
3 Dvořák, Wolfgang
3 Faber, Wolfgang
3 Fichte, Johannes Klaus
3 Gonçalves, Ricardo
3 Gottlob, Georg
3 Kaufmann, Benjamin
3 Knorr, Matthias
3 Leite, João
3 Leone, Nicola
3 Lindauer, Marius
3 Linsbichler, Thomas
3 Pacenza, Francesco
3 Romero, Javier
3 Russo, Alessandra M.
3 Schüller, Peter
3 Zhang, Yuanlin
2 Batsakis, Sotiris
2 Bockmayr, Alexander
2 Brewka, Gerhard
2 Confalonieri, Roberto
2 Cropper, Andrew
2 Dao-Tran, Minh
2 De Cock, Martine
2 Denecker, Marc
2 El-Kholany, Mohammed M. S.
2 Friedrich, Gerhard E.
2 Gao, Tiantian
2 Gelfond, Michael
2 Hecher, Markus
2 Herzig, Andreas
2 Hoos, Holger H.
2 Järvisalo, Matti
2 Kaminski, Tobias
2 Kutz, Oliver
2 Law, Mark M.
2 Lühne, Patrick
2 Mastria, Elena
2 Ogris, Paul
2 Pieris, Andreas
2 Pontelli, Enrico
2 Prosser, Patrick
2 Redl, Christoph
2 Saribatur, Zeynep Gozen
2 Schellhorn, Sebastian
2 Schockaert, Steven
2 Son, Tran Cao
2 Szeider, Stefan
2 Tasharrofi, Shahab
2 Taupe, Richard
2 Thielscher, Michael
2 Truszczyński, Mirosław
2 Videla, Santiago
2 Weinzierl, Antonius
1 Abels, Dirk
1 Alberti, Marco
1 Amadini, Roberto
1 Angiulli, Fabrizio
1 Antoniou, Grigoris
1 Arias, Joaquin
1 Aschinger, Markus
1 Asuncion, Vernon
1 Babb, Joseph
1 Banbara, Mutsunori
1 Baroukh, Caroline
1 Baryannis, George
1 Basu, Kinjal
1 Bauters, Kim
1 Béatrix, Christopher
1 Ben-Eliyahu-Zohary, Rachel
...and 212 more Authors

Citations by Year