3 papers
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…
cs.LO2026
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
Pedro Cabalar, MartÃn Diéguez, David Fernández-Duque +3
The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's saf…
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…