Publications by Roland Kaminski
Multi-shot {ASP} solving with clingo
Article in Journal, in Theory and Practice of Logic Programming 1, pp. 27-82 (2019)
Temporal Answer Set Programming on Finite Traces
Article in Journal, in Theory and Practice of Logic Programming 3-4, pp. 406-420 (2018)
Clingo goes Linear Constraints over Reals and Integers
Article in Journal, in Theory and Practice of Logic Programming 5-6, pp. 872-88 (2017)
A Tutorial on Hybrid Answer Set Solving with clingo
the Thirteenth International Summer School of the Reasoning Web (2017)
Answer Set Solving with Generalized Learned Constraints
Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16) (2016)
Theory Solving Made Easy with Clingo 5
Thirty-second International Conference on Logic Programming (ICLP'16) (2016)
An ASP Semantics for Default Reasoning with Constraints
Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI'16) (2016)
ASP Solving for Expanding Universes
Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)
Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)
Grounding Recursive Aggregates: Preliminary Report
Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV'15) (2015)
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)
Clingo = ASP + Control: Preliminary Report
Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP'14) (2014)
Ricochet Robots: A transverse ASP benchmark.
Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)
Minimal Intervention Strategies in Logical Signaling Networks with Answer Set Programming
Article in Journal, in Theory and Practice of Logic Programming (2013)