2 papers
cs.AI2024
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…
cs.AI2018
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro +1
In this paper, we propose a variant of Answer Set Programming (ASP) with evaluable functions that extends their application to sets of objects, something that allows a fully logica…