Publications by Roland Kaminski

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Multi-shot {ASP} solving with clingo

Article in Journal, in Theory and Practice of Logic Programming 1, pp. 27-82 (2019)

Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

Temporal Answer Set Programming on Finite Traces

Article in Journal, in Theory and Practice of Logic Programming 3-4, pp. 406-420 (2018)

Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Clingo goes Linear Constraints over Reals and Integers

Article in Journal, in Theory and Practice of Logic Programming 5-6, pp. 872-88 (2017)

Roland Kaminski, Torsten Schaub, Philipp Wanko

A Tutorial on Hybrid Answer Set Solving with clingo

the Thirteenth International Summer School of the Reasoning Web (2017)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne , Torsten Schaub

Answer Set Solving with Generalized Learned Constraints

Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Philipp Wanko

Theory Solving Made Easy with Clingo 5

Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub

An ASP Semantics for Default Reasoning with Constraints

Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

ASP Solving for Expanding Universes

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Javier Romero, Torsten Schaub

Progress in clasp Series 3

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Roland Kaminski, Torsten Schaub

Grounding Recursive Aggregates: Preliminary Report

Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (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: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (2015)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Clingo = ASP + Control: Preliminary Report

Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'14) (2014)

Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider

Ricochet Robots: A transverse ASP benchmark.

Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)

Roland Kaminski, Torsten Schaub, Anne Siegel, Santiago Videla

Minimal Intervention Strategies in Logical Signaling Networks with Answer Set Programming

Article in Journal, in Theory and Practice of Logic Programming (2013)