Roland Kaminski

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