Roland Kaminski

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 30

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

ICLP (Technical Communications)

Publications

Roland Kaminski, Torsten Schaub, Tran Cao Son, Jirí Svancara, Philipp Wanko
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. CoRR (2024)
Jirí Svancara, Dor Atzmon, Klaus Strauch, Roland Kaminski, Torsten Schaub
Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends. ICAART (3) (2024)
Roland Kaminski, Torsten Schaub, Klaus Strauch, Jirí Svancara
Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers. ICAART (1) (2024)
Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski
Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. SOCS (2023)
Roland Kaminski, Torsten Schaub
On the Foundations of Grounding in Answer Set Programming. Theory Pract. Log. Program. 23 (6) (2023)
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
How to Build Your Own ASP-based System?! Theory Pract. Log. Program. 23 (1) (2023)
Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko
Routing and Scheduling in different ways: Abridged Preliminary Report. ICLP Workshops (2023)
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
. RuleML+RR (2022)
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
plingo: A system for probabilistic reasoning in clingo based on lpmln. CoRR (2022)
Roland Kaminski, Torsten Schaub
On the Foundations of Grounding in Answer Set Programming. CoRR (2021)
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
How to build your own ASP-based system?! CoRR (2020)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20 (2) (2020)
Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub
telingo = ASP + Time. LPNMR (2019)
Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub
The Return of xorro. LPNMR (2019)
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub
ASP-Core-2 Input Language Format. CoRR (2019)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Multi-shot ASP solving with clingo. Theory Pract. Log. Program. 19 (1) (2019)
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Temporal Answer Set Programming on Finite Traces. CoRR (2018)
Misbah Razzaq, Roland Kaminski, Javier Romero, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. CMSB (2018)
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Temporal Answer Set Programming on Finite Traces. Theory Pract. Log. Program. 18 (3-4) (2018)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
The Potsdam Answer Set Solving Collection 5.0. Künstliche Intell. 32 (2-3) (2018)
Roland Kaminski, Torsten Schaub, Philipp Wanko
A Tutorial on Hybrid Answer Set Solving with clingo. Reasoning Web (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
Clingo goes Linear Constraints over Reals and Integers. CoRR (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub
Clingo goes linear constraints over reals and integers. Theory Pract. Log. Program. 17 (5-6) (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR (2017)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Multi-shot ASP solving with clingo. CoRR (2017)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Javier Romero, Torsten Schaub
Answer Set Solving with Generalized Learned Constraints. ICLP (Technical Communications) (2016)
Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub
An ASP Semantics for Default Reasoning with Constraints. IJCAI (2016)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko
Theory Solving Made Easy with Clingo 5. ICLP (Technical Communications) (2016)
Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
Writing Declarative Specifications for Clauses. JELIA (2016)
Martin Gebser, Roland Kaminski, Torsten Schaub
Grounding Recursive Aggregates: Preliminary Report. CoRR (2016)
Holger H. Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub
aspeed: Solver scheduling via answer set programming. Theory Pract. Log. Program. 15 (1) (2015)
Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
ASP Solving for Expanding Universes. LPNMR (2015)
Martin Gebser, Roland Kaminski, Philipp Obermeier, Torsten Schaub
Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub
Progress in clasp Series 3. LPNMR (2015)
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
Abstract Gringo. CoRR (2015)
Martin Gebser, Amelia Harrison, Roland Kaminski, Vladimir Lifschitz, Torsten Schaub
Abstract gringo. Theory Pract. Log. Program. 15 (4-5) (2015)
Holger H. Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub
Solver Scheduling via Answer Set Programming. CoRR (2014)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Clingo = ASP + Control: Preliminary Report. CoRR (2014)
Roland Kaminski, Torsten Schaub, Anne Siegel, Santiago Videla
Minimal intervention strategies in logical signaling networks with ASP. Theory Pract. Log. Program. 13 (4-5) (2013)
Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider
Ricochet Robots: A Transverse ASP Benchmark. LPNMR (2013)
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Answer Set Programming for Stream Reasoning CoRR (2013)
Holger H. Hoos, Roland Kaminski, Torsten Schaub, Marius Schneider
aspeed: ASP-based Solver Scheduling. ICLP (Technical Communications) (2012)
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
Stream Reasoning with Answer Set Programming: Preliminary Report. KR (2012)
Martin Gebser, Roland Kaminski, Torsten Schaub
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming LoCoCo (2011)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Challenges in Answer Set Solving. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller
A Portfolio Solver for Answer Set Programming: Preliminary Report. LPNMR (2011)
Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, Marius Schneider
Potassco: The Potsdam Answer Set Solving Collection. AI Commun. 24 (2) (2011)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Multi-Criteria Optimization in Answer Set Programming. ICLP (Technical Communications) (2011)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor
. LPNMR (2011)
Martin Gebser, Roland Kaminski, Murat Knecht, Torsten Schaub
plasp: A Prototype for PDDL-Based Planning in ASP. LPNMR (2011)
Martin Gebser, Roland Kaminski, Arne König, Torsten Schaub
Series 3. LPNMR (2011)
Martin Gebser, Torsten Grote, Roland Kaminski, Torsten Schaub
Reactive Answer Set Programming. LPNMR (2011)
Martin Gebser, Roland Kaminski, Torsten Schaub
Complex Optimization in Answer Set Programming CoRR (2011)
Martin Gebser, Roland Kaminski, Torsten Schaub
Complex optimization in answer set programming. Theory Pract. Log. Program. 11 (4-5) (2011)
Martin Gebser, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sven Thiele
On the Input Language of ASP Grounder Gringo. LPNMR (2009)
Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
Experiences Running a Parallel Answer Set Solver on Blue Gene. PVM/MPI (2009)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers. ICLP (2009)
Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor
A Simple Distributed Conflict-Driven Answer Set Solver. LPNMR (2009)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
Engineering an Incremental ASP Solver. ICLP (2008)