Search Results for author: Roland Kaminski

Found 9 papers, 3 papers with code

plingo: A system for probabilistic reasoning in clingo based on lpmln

1 code implementation23 Jun 2022 Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

We present plingo, an extension of the ASP system clingo with various probabilistic reasoning modes.

On the Foundations of Grounding in Answer Set Programming

no code implementations10 Aug 2021 Roland Kaminski, Torsten Schaub

We provide a comprehensive elaboration of the theoretical foundations of variable instantiation, or grounding, in Answer Set Programming (ASP).

How to build your own ASP-based system?!

1 code implementation15 Aug 2020 Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko

This is arguably due to its attractive modeling-grounding-solving workflow that provides an easy approach to problem solving, even for laypersons outside computer science.

ASP-Core-2 Input Language Format

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

Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications.

Temporal Answer Set Programming on Finite Traces

no code implementations26 Apr 2018 Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces.

Clingo goes Linear Constraints over Reals and Integers

no code implementations13 Jul 2017 Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities.

Multi-shot ASP solving with clingo

no code implementations27 May 2017 Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

We introduce a new flexible paradigm of grounding and solving in Answer Set Programming (ASP), which we refer to as multi-shot ASP solving, and present its implementation in the ASP system clingo.

Grounding Recursive Aggregates: Preliminary Report

no code implementations12 Mar 2016 Martin Gebser, Roland Kaminski, Torsten Schaub

In particular, we provide a series of algorithms detailing the treatment of recursive aggregates and illustrate this by a running example.

Solver Scheduling via Answer Set Programming

no code implementations6 Jan 2014 Holger Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub

Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances and is known to depend strongly on algorithm parameters.

Cannot find the paper you are looking for? You can Submit a new open access paper.