Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Roland Kaminski

Roland Kaminski

University of Potsdam

On the Foundations of Grounding in Answer Set Programming

Aug 10, 2021
Roland Kaminski, Torsten Schaub

* unpublished draft 

  Access Paper or Ask Questions

How to build your own ASP-based system?!

Aug 15, 2020
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko

* 69 pages, submitted to TPLP 

  Access Paper or Ask Questions

ASP-Core-2 Input Language Format

Nov 11, 2019
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub

  Access Paper or Ask Questions

Temporal Answer Set Programming on Finite Traces

Apr 26, 2018
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 15 pages, LaTeX, 0 PDF figures (arXiv:YYMM.NNNNN) 

  Access Paper or Ask Questions

Multi-shot ASP solving with clingo

Mar 20, 2018
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

* Under consideration for publication in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Clingo goes Linear Constraints over Reals and Integers

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

* Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX 

  Access Paper or Ask Questions

Grounding Recursive Aggregates: Preliminary Report

Mar 12, 2016
Martin Gebser, Roland Kaminski, Torsten Schaub

* 21 pages, 7 figures, preliminary version appeared at GTTV'15 

  Access Paper or Ask Questions

Solver Scheduling via Answer Set Programming

Jan 06, 2014
Holger Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub

* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Answer Set Programming for Stream Reasoning

Jan 08, 2013
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary 

  Access Paper or Ask Questions

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

Sep 01, 2011
Martin Gebser, Roland Kaminski, Torsten Schaub

* EPTCS 65, 2011, pp. 12-25 
* In Proceedings LoCoCo 2011, arXiv:1108.6097 

  Access Paper or Ask Questions

Complex Optimization in Answer Set Programming

Jul 28, 2011
Martin Gebser, Roland Kaminski, Torsten Schaub

* Theory and Practice of Logic Programming, 11(4-5), 821-839, 2011 
* 18 pages, 5 figures 

  Access Paper or Ask Questions