Publications by Roland Kaminski

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, 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, 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, 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, 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)