9 citations · 14 across the 3 of their papers we have counts for
1 paper · 2 filters
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…