135 citations · 145 across the 2 of their papers we have counts for
6 papers · 1 filter
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
Roland Kaminski, Torsten Schaub, Tran Cao Son +2
We present alternative approaches to routing and scheduling in Answer Set Programming (ASP), and explore them in the context of Multi-agent Path Finding. The idea is to capture the…
ASP-Core-2 Input Language Format
Francesco Calimeri, Wolfgang Faber, Martin Gebser +7
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…
Temporal Answer Set Programming on Finite Traces
Pedro Cabalar, Roland Kaminski, Torsten Schaub +1
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. This approa…
Clingo goes Linear Constraints over Reals and Integers
Tomi Janhunen, Roland Kaminski, Max Ostrowski +3
The recent series 5 of the ASP system clingo provides generic means to enhance basic Answer Set Programming (ASP) with theory reasoning capabilities. We instantiate this framework…
Grounding Recursive Aggregates: Preliminary Report
Martin Gebser, Roland Kaminski, Torsten Schaub
Problem solving in Answer Set Programming consists of two steps, a first grounding phase, systematically replacing all variables by terms, and a second solving phase computing the…
Answer Set Programming for Stream Reasoning
Martin Gebser, Torsten Grote, Roland Kaminski +3
The advance of Internet and Sensor technology has brought about new challenges evoked by the emergence of continuous data streams. Beyond rapid data processing, application areas l…