Differential Evolution for Protein Structure Prediction Using the HP Model. - José Santos 003; Martín Diéguez (IWINAC (1), 2011)

STeLP - A Tool for Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez (LPNMR, 2011)

Paving the Way for Temporal Grounding. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (ICLP (Technical Communications), 2012)

Temporal Answer Set Programming. - Martín Diéguez (ICLP (Technical Communications), 2012)

Cellular automata for modeling protein folding using the HP model. - José Santos Reyes; Pablo Villot; Martín Diéguez (IEEE Congress on Evolutionary Computation, 2013)

Protein folding with cellular automata in the 3D HP model. - José Santos Reyes; Pablo Villot; Martín Diéguez (GECCO (Companion), 2013)

Temporal equilibrium logic: a survey. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (J. Appl. Non Class. Logics, 2013)

Strong Equivalence of Non-Monotonic Temporal Theories. - Pedro Cabalar; Martín Diéguez (KR, 2014)

Emergent Protein Folding Modeled with Evolved Neural Cellular Automata Using the 3D HP Model. - José Santos Reyes; Pablo Villot; Martín Diéguez (J. Comput. Biol., 2014)

An infinitary encoding of temporal equilibrium logic. - Pedro Cabalar; Martín Diéguez; Concepción Vidal (Theory Pract. Log. Program., 2015)

Metabolic Pathways as Temporal Logic Programs. - Jean-Marc Alliot; Martín Diéguez; Luis Fariñas del Cerro (JELIA, 2016)

Temporal Here and There. - Philippe Balbiani; Martín Diéguez (JELIA, 2016)

Temporal Logic Modeling of Biological Systems. - Jean-Marc Alliot; Robert Demolombe; Martín Diéguez; Luis Fariñas del Cerro; Gilles Favre; Jean-Charles Faye; Naji Obeid; Olivier Sordet (Towards Paraconsistent Engineering, 2016)

A Decidable Intuitionistic Temporal Logic. - Joseph Boudou; Martín Diéguez; David Fernández-Duque (CSL, 2017)

Temporal Equilibrium Logic with past operators. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (J. Appl. Non Class. Logics, 2017)

A short biography of Luis Fariñas del Cerro. - Pedro Cabalar; Martín Diéguez; Andreas Herzig; David Pearce 001 (J. Appl. Non Class. Logics, 2017)

Temporal logic programs with variables. - Felicidad Aguado; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal; Martín Diéguez (Theory Pract. Log. Program., 2017)

Co-constructing Subjective Narratives for Understanding Interactive Simulation Sessions. - Anne-Gwenn Bosser; Ariane Ariane Bitoun; François Legras; Martín Diéguez (INT/WICED@AIIDE, 2018)

Here and There Modal Logic with Dual Implication. - Philippe Balbiani; Martín Diéguez (Advances in Modal Logic, 2018)

An Intuitionistic Axiomatization of 'Eventually'. - Martín Diéguez; David Fernández-Duque (Advances in Modal Logic, 2018)

Introducing Temporal Stable Models for Linear Dynamic Logic. - Anne-Gwenn Bosser; Pedro Cabalar; Martín Diéguez; Torsten Schaub (KR, 2018)

Timing Interactive Narratives. - Thomas Cabioch; Ronan Champagnat; Anne-Gwenn Bosser; Jean-Noël Chiganne; Martín Diéguez (CoG, 2019)

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. - Joseph Boudou; Martín Diéguez; David Fernández-Duque; Fabián Romero (JELIA, 2019)

Towards Dynamic Answer Set Programming over Finite Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub (LPNMR, 2019)

Setting the Basis for Here and There Modal Logics. - Philippe Balbiani; Martín Diéguez; Luis Fariñas del Cerro (FLAP, 2019)

Implementing Dynamic Answer Set Programming over Finite Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; François Laferrière (ECAI, 2020)

Implementing Dynamic Answer Set Programming. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; François Laferrière (CoRR, 2020)

Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (CoRR, 2020)

Intuitionistic Linear Temporal Logics. - Philippe Balbiani; Joseph Boudou; Martín Diéguez; David Fernández-Duque (ACM Trans. Comput. Log., 2020)

Towards Metric Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2020)

Automata for Dynamic Answer Set Solving: Preliminary Report. - Pedro Cabalar; Martín Diéguez; Susana Hahn; Torsten Schaub (ICLP Workshops, 2021)

Some constructive variants of S4 with the finite model property. - Philippe Balbiani; Martín Diéguez; David Fernández-Duque (LICS, 2021)

A Framework for Modelling Molecular Interaction Maps. - Jean-Marc Alliot; Marta Cialdea Mayer; Robert Demolombe; Martín Diéguez; Luis Fariñas del Cerro (FLAP, 2021)

Bisimulations for Intuitionistic Temporal Logics. - Philippe Balbiani; Joseph Boudou; Martín Diéguez; David Fernández-Duque (FLAP, 2021)

Exploring the Jungle of Intuitionistic Temporal Logics. - Joseph Boudou; Martín Diéguez; David Fernández-Duque; Philip Kremer (Theory Pract. Log. Program., 2021)

Advanced Languages of Terms for Ontologies. - Philippe Balbiani; Martín Diéguez; Çigdem Gencer (Description Logics, 2022)

A Gödel Calculus for Linear Temporal Logic. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (KR, 2022)

Metric Temporal Answer Set Programming over Timed Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (LPNMR, 2022)

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (WoLLIC, 2022)

Complete intuitionistic Temporal Logics for Topological dynamics. - Joseph Boudou; Martín Diéguez; David Fernández-Duque (J. Symb. Log., 2022)

Past-present temporal programs over finite traces: a preliminary report. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub (ICLP Workshops, 2023)

Past-Present Temporal Programs over Finite Traces. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub (JELIA, 2023)

Linear-Time Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (Theory Pract. Log. Program., 2023)

The Impact of Green Feedback on Users' Software Usage. - Adel Noureddine; Martín Diéguez Lodeiro; Noëlle Bru; Richard Chbeir (IEEE Trans. Sustain. Comput., 2023)

Metric dynamic equilibrium logic. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Luis Fariñas del Cerro; Torsten Schaub; Anna Schuhmann (J. Appl. Non Class. Logics, 2023)

Compiling Metric Temporal Answer Set Programming. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Susana Hahn; Javier Romero 003; Torsten Schaub (LPNMR, 2024)

A Fixpoint Characterisation of Temporal Equilibrium Logic. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub; Igor Stéphan (LPNMR, 2024)

Constructive S4 modal logics with the finite birelational frame property. - Philippe Balbiani; Martín Diéguez; David Fernández-Duque; Brett McLean (CoRR, 2024)

Metric Temporal Equilibrium Logic over Timed Traces. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2024)

Gödel-Dummett linear temporal logic. - Juan P. Aguilera 001; Martín Diéguez; David Fernández-Duque; Brett McLean (Artif. Intell., 2025)

Towards Constraint Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez; François Olivier; Torsten Schaub; Igor Stéphan (CoRR, 2025)