Search Results for author:
Found 2 papers, 0 papers with code
Metric Dynamic Equilibrium Logic
In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states.
Metric Temporal Equilibrium Logic over Timed Traces
We address this by developing a metric extension of linear-time temporal equilibrium logic, in which temporal operators are constrained by intervals over natural numbers.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
