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

Figure 1 for On the Foundations of Grounding in Answer Set Programming
Figure 2 for On the Foundations of Grounding in Answer Set Programming
Figure 3 for On the Foundations of Grounding in Answer Set Programming
Figure 4 for On the Foundations of Grounding in Answer Set Programming
* 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

Figure 1 for How to build your own ASP-based system?!
Figure 2 for How to build your own ASP-based system?!
Figure 3 for How to build your own ASP-based system?!
Figure 4 for How to build your own ASP-based system?!
* 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

Figure 1 for Temporal Answer Set Programming on Finite Traces
* 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

Figure 1 for Multi-shot ASP solving with clingo
Figure 2 for Multi-shot ASP solving with clingo
Figure 3 for Multi-shot ASP solving with clingo
Figure 4 for Multi-shot ASP solving with clingo
* 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

Figure 1 for Clingo goes Linear Constraints over Reals and Integers
Figure 2 for Clingo goes Linear Constraints over Reals and Integers
Figure 3 for Clingo goes Linear Constraints over Reals and Integers
Figure 4 for Clingo goes Linear Constraints over Reals and Integers
* 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

Figure 1 for Grounding Recursive Aggregates: Preliminary Report
Figure 2 for Grounding Recursive Aggregates: Preliminary Report
Figure 3 for Grounding Recursive Aggregates: Preliminary Report
Figure 4 for Grounding Recursive Aggregates: Preliminary Report
* 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

Figure 1 for Solver Scheduling via Answer Set Programming
Figure 2 for Solver Scheduling via Answer Set Programming
Figure 3 for Solver Scheduling via Answer Set Programming
Figure 4 for Solver Scheduling via Answer Set Programming
* 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

Figure 1 for Answer Set Programming for Stream Reasoning
Figure 2 for Answer Set Programming for Stream Reasoning
* 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

Figure 1 for aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Figure 2 for aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Figure 3 for aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Figure 4 for aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
* 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