Arvid Becker

Compiling Metric Temporal Answer Set Programming

2025 · arXiv (Cornell University)

We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challenge is to maintain scalability when dealing with fine-grained timing constraints, …