Edit Profile (opens in new tab) Kaminski, Roland Co-Author Distance Author ID: kaminski.roland Published as: Kaminski, Roland Documents Indexed: 22 Publications since 2008 Co-Authors: 34 Co-Authors with 22 Joint Publications 502 Co-Co-Authors all top 5 Co-Authors 0 single-authored 22 Schaub, Torsten H. 13 Gebser, Martin 6 Kaufmann, Benjamin 4 Janhunen, Tomi 3 Ostrowski, Max 2 Cabalar, Pedro 2 Hoos, Holger H. 2 Romero, Javier 2 Schneider, Marius Thomas 2 Wanko, Philipp 1 Bourdon, Jérémie 1 Calimeri, Francesco 1 Everardo, Flavio 1 Faber, Wolfgang 1 Grote, Torsten 1 Guziolowski, Carito 1 Harrison, Amelia 1 Ianni, Giovambattista 1 Jost, Holger 1 Krennwallner, Thomas 1 Leone, Nicola 1 Lifschitz, Vladimir 1 Lindauer, Marius 1 Maratea, Marco 1 Morkisch, Philip 1 Obermeier, Philipp 1 Razzaq, Misbah 1 Ricca, Francesco 1 Schellhorn, Sebastian 1 Schuhmann, Anna 1 Siegel, Anne 1 Tasharrofi, Shahab 1 Thiele, Sven 1 Videla, Santiago Serials 8 Theory and Practice of Logic Programming 1 AI Communications Fields 21 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 20 Publications have been cited 272 times in 201 Documents Cited by ▼ Year ▼ Potassco: the Potsdam answer set solving collection. Zbl 1215.68214Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius 59 2011 Multi-shot ASP solving with clingo. Zbl 1486.68027Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 47 2019 Abstract gringo. Zbl 1379.68031Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten 25 2015 ASP-Core-2 input language format. Zbl 1472.68180Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten 24 2020 Progress in clasp series 3. Zbl 1467.68181Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Romero, Javier; Schaub, Torsten 20 2015 Engineering an incremental ASP solver. Zbl 1185.68159Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten; Thiele, Sven 19 2008 Complex optimization in answer set programming. Zbl 1222.68059Gebser, Martin; Kaminski, Roland; Schaub, Torsten 18 2011 Multi-criteria optimization in answer set programming. Zbl 1245.68052Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 11 2011 Reactive answer set programming. Zbl 1327.68063Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten 9 2011 Clingo goes linear constraints over reals and integers. Zbl 1422.68024Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten 7 2017 On the implementation of weight constraint rules in conflict-driven ASP solvers. Zbl 1251.68059Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 7 2009 aspeed: solver scheduling via answer set programming. Zbl 1379.68283Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten 6 2015 Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago 4 2013 Temporal answer set programming on finite traces. Zbl 1451.68256Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna 3 2018 telingo = ASP + time. Zbl 07115979Cabalar, Pedro; Kaminski, Roland; Morkisch, Philip; Schaub, Torsten 3 2019 Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten 3 2015 Writing declarative specifications for clauses. Zbl 1483.68378Gebser, Martin; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten; Tasharrofi, Shahab 2 2016 aspeed: ASP-based solver scheduling. Zbl 1281.68206Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius 2 2012 A tutorial on hybrid answer set solving with clingo. Zbl 1491.68217Kaminski, Roland; Schaub, Torsten; Wanko, Philipp 2 2017 The return of xorro. Zbl 07115981Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten 1 2019 ASP-Core-2 input language format. Zbl 1472.68180Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten 24 2020 Multi-shot ASP solving with clingo. Zbl 1486.68027Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 47 2019 telingo = ASP + time. Zbl 07115979Cabalar, Pedro; Kaminski, Roland; Morkisch, Philip; Schaub, Torsten 3 2019 The return of xorro. Zbl 07115981Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten 1 2019 Temporal answer set programming on finite traces. Zbl 1451.68256Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna 3 2018 Clingo goes linear constraints over reals and integers. Zbl 1422.68024Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten 7 2017 A tutorial on hybrid answer set solving with clingo. Zbl 1491.68217Kaminski, Roland; Schaub, Torsten; Wanko, Philipp 2 2017 Writing declarative specifications for clauses. Zbl 1483.68378Gebser, Martin; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten; Tasharrofi, Shahab 2 2016 Abstract gringo. Zbl 1379.68031Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten 25 2015 Progress in clasp series 3. Zbl 1467.68181Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Romero, Javier; Schaub, Torsten 20 2015 aspeed: solver scheduling via answer set programming. Zbl 1379.68283Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten 6 2015 Ricochet Robots reloaded: a case-study in multi-shot ASP solving. Zbl 1432.68414Gebser, Martin; Kaminski, Roland; Obermeier, Philipp; Schaub, Torsten 3 2015 Minimal intervention strategies in logical signaling networks with ASP. Zbl 1286.68048Kaminski, Roland; Schaub, Torsten; Siegel, Anne; Videla, Santiago 4 2013 aspeed: ASP-based solver scheduling. Zbl 1281.68206Hoos, Holger; Kaminski, Roland; Schaub, Torsten; Schneider, Marius 2 2012 Potassco: the Potsdam answer set solving collection. Zbl 1215.68214Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius 59 2011 Complex optimization in answer set programming. Zbl 1222.68059Gebser, Martin; Kaminski, Roland; Schaub, Torsten 18 2011 Multi-criteria optimization in answer set programming. Zbl 1245.68052Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 11 2011 Reactive answer set programming. Zbl 1327.68063Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten 9 2011 On the implementation of weight constraint rules in conflict-driven ASP solvers. Zbl 1251.68059Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 7 2009 Engineering an incremental ASP solver. Zbl 1185.68159Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten; Thiele, Sven 19 2008 all cited Publications top 5 cited Publications all top 5 Cited by 367 Authors 25 Schaub, Torsten H. 15 Gebser, Martin 12 Eiter, Thomas 11 Dodaro, Carmine 11 Lifschitz, Vladimir 11 Ricca, Francesco 10 Woltran, Stefan 8 Alviano, Mario 8 Janhunen, Tomi 8 Kaminski, Roland 8 Maratea, Marco 8 Zangari, Jessica 7 Calimeri, Francesco 6 Perri, Simona 6 Russo, Alessandra M. 6 Schekotihin, Konstantin 5 Amendola, Giovanni 5 Fandinno, Jorge 5 Gaggl, Sarah Alice 5 Harrison, Amelia 5 Lierler, Yuliya 5 Morak, Michael 4 Broda, Krysia B. 4 Erdem, Esra 4 Fichte, Johannes Klaus 4 Ianni, Giovambattista 4 Kaufmann, Benjamin 4 Krennwallner, Thomas 4 Law, Mark M. 4 Leone, Nicola 4 Romero, Javier 4 Siegel, Anne 4 Wallner, Johannes Peter 4 Wanko, Philipp 4 Zhang, Yuanlin 3 Beck, Harald 3 Bichler, Manuel 3 Bogaerts, Bart 3 Bomanson, Jori 3 Cabalar, Pedro 3 De Cock, Martine 3 Dvořák, Wolfgang 3 Faber, Wolfgang 3 Gonçalves, Ricardo 3 Gottlob, Georg 3 Hecher, Markus 3 Knorr, Matthias 3 Leite, João 3 Lindauer, Marius 3 Linsbichler, Thomas 3 Pacenza, Francesco 3 Satoh, Ken 3 Schockaert, Steven 3 Schüller, Peter 3 Schulz, Claudia 2 Amadini, Roberto 2 Arias, Joaquin 2 Athakravi, Duangtida 2 Babb, Joseph 2 Batsakis, Sotiris 2 Benhamou, Belaid 2 Bockmayr, Alexander 2 Brewka, Gerhard 2 Carro, Manuel 2 Confalonieri, Roberto 2 Cropper, Andrew 2 Cuteri, Bernardo 2 Dao-Tran, Minh 2 Denecker, Marc 2 El-Kholany, Mohammed M. S. 2 Ellmauthaler, Stefan 2 Flouris, Giorgos 2 Friedrich, Gerhard E. 2 Gabbrielli, Maurizio 2 Gao, Tiantian 2 Gelfond, Michael 2 Gupta, Gopal K. 2 Herzig, Andreas 2 Hoos, Holger H. 2 Järvisalo, Matti 2 Kaminski, Tobias 2 Kutz, Oliver 2 Lee, Joohyung 2 Lühne, Patrick 2 Manna, Marco 2 Mastria, Elena 2 Mauro, Jacopo 2 Mushthofa, Mushthofa 2 Ogris, Paul 2 Patkos, Theodore 2 Pieris, Andreas 2 Plexousakis, Dimitris 2 Pontelli, Enrico 2 Prosser, Patrick 2 Redl, Christoph 2 Riguzzi, Fabrizio 2 Saribatur, Zeynep Gozen 2 Schellhorn, Sebastian 2 Soliman, Sylvain 2 Son, Tran Cao ...and 267 more Authors all top 5 Cited in 20 Serials 68 Theory and Practice of Logic Programming 28 Artificial Intelligence 7 Machine Learning 5 International Journal of Approximate Reasoning 4 Annals of Mathematics and Artificial Intelligence 4 Fundamenta Informaticae 3 Theoretical Computer Science 3 ACM Transactions on Computational Logic 2 European Journal of Operational Research 2 The Journal of Artificial Intelligence Research (JAIR) 2 Constraints 1 Fuzzy Sets and Systems 1 Journal of Philosophical Logic 1 Social Choice and Welfare 1 Journal of Automated Reasoning 1 AI Communications 1 Annals of Operations Research 1 Data Mining and Knowledge Discovery 1 Natural Computing 1 ACM Journal of Experimental Algorithmics all top 5 Cited in 10 Fields 193 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 10 Biology and other natural sciences (92-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Operations research, mathematical programming (90-XX) 2 Statistics (62-XX) 2 Mathematics education (97-XX) 1 General and overarching topics; collections (00-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year