Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics

Martín Diéguez, Susana Hahn, Torsten Schaub +1

Metric temporal equilibrium logic (\MEL) extends temporal equilibrium logic (\TEL) by incorporating quantitative timing constraints, enabling the specification and analysis of dead…