4 papers
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…
Extracting Policies from Quantified Answer Set Programs
MartÃn Diéguez, Igor Stéphan
Quantified Answer Set Programming (QASP) extends Answer Set Programming (ASP) by allowing quantification over propositional variables, similar to Quantified Boolean Formulas (QBF).…
Towards Constraint Temporal Answer Set Programming
Pedro Cabalar, MartÃn Diéguez, François Olivier +2
Reasoning about dynamic systems with a fine-grained temporal and numeric resolution presents significant challenges for logic-based approaches like Answer Set Programming (ASP). To…