collaborators
Showing cs.AIShow all

3 papers · 1 filter

cs.AI2026

Implementing Metric Temporal Answer Set Programming

Arvid Becker, Pedro Cabalar, Martin Diéguez +3

We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constraints, like durations and deadlines. A central challe…

cs.AI2025

Compiling Metric Temporal Answer Set Programming

Arvid Becker, Pedro Cabalar, Martin Diéguez +3

We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challen…

cs.AI2024

Metric Temporal Equilibrium Logic over Timed Traces

Arvid Becker, Pedro Cabalar, Martín Diéguez +2

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…