9 citations · 9 across the 1 of their papers we have counts for
2 papers
cs.AI2020★ 9 cited
Towards Metric Temporal Answer Set Programming
Pedro Cabalar, Martin Dieguez, Torsten Schaub +1
We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Tempora…
cs.AI2018
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…