135 citations · 189 across the 8 of their papers we have counts for
13 papers
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…
plingo: A system for probabilistic reasoning in clingo based on lpmln
Susana Hahn, Tomi Janhunen, Roland Kaminski +3
We present plingo, an extension of the ASP system clingo with various probabilistic reasoning modes. Plingo is centered upon LP^MLN, a probabilistic extension of ASP based on a wei…
On the Foundations of Grounding in Answer Set Programming
Roland Kaminski, Torsten Schaub
We provide a comprehensive elaboration of the theoretical foundations of variable instantiation, or grounding, in Answer Set Programming (ASP). Building on the semantics of ASP's m…
How to build your own ASP-based system?!
Roland Kaminski, Javier Romero, Torsten Schaub +1
Answer Set Programming (ASP) has become a popular and quite sophisticated approach to declarative problem solving. This is arguably due to its attractive modeling-grounding-solving…
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…