Open access
Sep 2026
Implementing Metric Temporal Answer Set Programming
This work develops a computational approach to Metric Answer Set Programming to express quantitative temporal constrains, such as durations and deadlines, and effectively decouples metric ASP from the granularity of time, resulting in a solution that is independent of time precision.
Susana Hahn, Arvid Becker, Pedro Cabalar et al.
· Theory and Practice of Logic... · 0 citations