23 citations · 88 across the 36 of their papers we have counts for
1 paper · 2 filters
Arvid Becker, Pedro Cabalar, Martín Diéguez +3
In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects…