Metric Temporal Equilibrium Logic for Reasoning about Timed Traces

Metric Temporal Equilibrium Logic (MEL) provides a non-monotonic framework for specifying and reasoning about dynamic systems with both qualitative and quantitative temporal constraints.