most citedASP-driven User-interaction with Clinguin

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

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…