135 citations · 189 across the 8 of their papers we have counts for
1 paper · 1 filter
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…