5 citations · 5 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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…
Gödel-Dummett linear temporal logic
Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque +1
We investigate a version of linear temporal logic whose propositional fragment is Gödel-Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy lo…