×

zbMATH — the first resource for mathematics

Kaminski, Roland

Compute Distance To:
Author ID: kaminski.roland Recent zbMATH articles by "Kaminski, Roland"
Published as: Kaminski, Roland
Documents Indexed: 20 Publications since 2008

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 116 times in 112 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
41
2011
Engineering an incremental ASP solver. Zbl 1185.68159
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten; Thiele, Sven
15
2008
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
15
2015
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
12
2011
Reactive answer set programming. Zbl 1327.68063
Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten
6
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
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
5
2011
aspeed: solver scheduling via answer set programming. Zbl 1379.68283
Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten
4
2015
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
3
2017
Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414
Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten
3
2015
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
2
2018
aspeed: ASP-based solver scheduling. Zbl 1281.68206
Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius
2
2012
Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048
Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago
2
2013
Temporal answer set programming on finite traces. Zbl 1451.68256
Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna
2
2018
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
3
2017
Abstract gringo. Zbl 1379.68031
Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten
15
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
2
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
41
2011
Complex optimization in answer set programming. Zbl 1222.68059
Gebser, Martin; Kaminski, Roland; Schaub, Torsten
12
2011
Reactive answer set programming. Zbl 1327.68063
Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten
6
2011
Multi-criteria optimization in answer set programming. Zbl 1245.68052
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten
5
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
15
2008
all top 5

Cited by 238 Authors

17 Schaub, Torsten H.
8 Alviano, Mario
8 Eiter, Thomas
8 Lifschitz, Vladimir
7 Dodaro, Carmine
7 Woltran, Stefan
6 Gebser, Martin
5 Harrison, Amelia
5 Kaminski, Roland
4 Gaggl, Sarah Alice
4 Wallner, Johannes Peter
3 Beck, Harald
3 Cabalar, Pedro
3 Dvořák, Wolfgang
3 Erdem, Esra
3 Fandinno, Jorge
3 Fichte, Johannes Klaus
3 Gonçalves, Ricardo
3 Gottlob, Georg
3 Ianni, Giovambattista
3 Janhunen, Tomi
3 Kaufmann, Benjamin
3 Knorr, Matthias
3 Krennwallner, Thomas
3 Leite, João
3 Lindauer, Marius
3 Maratea, Marco
3 Morak, Michael
3 Ricca, Francesco
3 Schekotihin, Konstantin
3 Siegel, Anne
3 Wanko, Philipp
3 Zangari, Jessica
3 Zhang, Yuanlin
2 Amendola, Giovanni
2 Batsakis, Sotiris
2 Bichler, Manuel
2 Bogaerts, Bart
2 Confalonieri, Roberto
2 Dao-Tran, Minh
2 De Cock, Martine
2 Friedrich, Gerhard E.
2 Gelfond, Michael
2 Hoos, Holger H.
2 Järvisalo, Matti
2 Kutz, Oliver
2 Law, Mark M.
2 Lierler, Yuliya
2 Linsbichler, Thomas
2 Ogris, Paul
2 Pacenza, Francesco
2 Pieris, Andreas
2 Pontelli, Enrico
2 Prosser, Patrick
2 Redl, Christoph
2 Romero, Javier
2 Russo, Alessandra M.
2 Schellhorn, Sebastian
2 Schockaert, Steven
2 Schüller, Peter
2 Szeider, Stefan
2 Tasharrofi, Shahab
2 Taupe, Richard
2 Thielscher, Michael
2 Videla, Santiago
2 Weinzierl, Antonius
1 Alberti, Marco
1 Amadini, Roberto
1 Antoniou, Grigoris
1 Arias, Joaquin
1 Aschinger, Markus
1 Asuncion, Vernon
1 Babb, Joseph
1 Banbara, Mutsunori
1 Baryannis, George
1 Bauters, Kim
1 Béatrix, Christopher
1 Bendtsen, Marcus
1 Bierbaumer, Bruno
1 Bisiani, Roberto
1 Bliem, Bernhard
1 Bockmayr, Alexander
1 Bofill, Miquel
1 Borrajo, Daniel
1 Brandt, Felix
1 Brenton, Christopher
1 Brewka, Gerhard
1 Broda, Krysia B.
1 Burigana, Alessandro
1 Busquets, Dídac
1 Calimeri, Francesco
1 Carro, Manuel
1 Charwat, Günther
1 Chen, Xiaoping
1 Chen, Yin
1 Cropper, Andrew
1 Cuenca Grau, Bernardo
1 Cuteri, Bernardo
1 Danks, David
1 De Raedt, Luc
...and 138 more Authors

Citations by Year