9 citations · 9 across the 3 of their papers we have counts for
3 papers · 1 filter
Metric Dynamic Equilibrium Logic
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…
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…
Implementing Dynamic Answer Set Programming
Pedro Cabalar, Martín Diéguez, Torsten Schaub +1
We introduce an implementation of an extension of Answer Set Programming (ASP) with language constructs from dynamic (and temporal) logic that provides an expressive computational…