Temporal equilibrium logic: a survey F Aguado, P Cabalar, M Diéguez, G Pérez, C Vidal Journal of Applied Non-Classical Logics 23 (1-2), 2-24, 2013 | 56 | 2013 |

`STeLP` – A Tool for Temporal Answer Set ProgrammingP Cabalar, M Diéguez International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011 | 36 | 2011 |

Differential evolution for protein structure prediction using the HP model J Santos, M Diéguez International work-conference on the interplay between natural and …, 2011 | 33 | 2011 |

Intuitionistic linear temporal logics P Balbiani, J Boudou, M Diéguez, D Fernández-Duque ACM Transactions on Computational Logic (TOCL) 21 (2), 1-32, 2019 | 28 | 2019 |

Linear-time temporal answer set programming F Aguado, P Cabalar, M Diéguez, G Pérez, T Schaub, A Schuhmann, ... Theory and Practice of Logic Programming 23 (1), 2-56, 2023 | 27 | 2023 |

Temporal here and there P Balbiani, M Diéguez European Conference on Logics in Artificial Intelligence, 81-96, 2016 | 27 | 2016 |

Strong equivalence of non-monotonic temporal theories P Cabalar, M Diéguez Fourteenth International Conference on the Principles of Knowledge …, 2014 | 24 | 2014 |

A decidable intuitionistic temporal logic J Boudou, M Diéguez, D Fernández-Duque arXiv preprint arXiv:1704.02847, 2017 | 22 | 2017 |

Towards metric temporal answer set programming P Cabalar, M Dieguez, T Schaub, A Schuhmann Theory and Practice of Logic Programming 20 (5), 783-798, 2020 | 21 | 2020 |

Emergent protein folding modeled with evolved neural cellular automata using the 3D HP model J Santos, P Villot, M Diéguez Journal of Computational Biology 21 (11), 823-845, 2014 | 21 | 2014 |

Cellular automata for modeling protein folding using the HP model J Santos, P Villot, M Diéguez 2013 IEEE Congress on Evolutionary Computation, 1586-1593, 2013 | 18 | 2013 |

Introducing temporal stable models for linear dynamic logic AG Bosser, P Cabalar, M Dieguez, T Schaub Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 17 | 2018 |

Time and Gödel: Fuzzy temporal reasoning in PSPACE JP Aguilera, M Diéguez, D Fernández-Duque, B McLean International Workshop on Logic, Language, Information, and Computation, 18-35, 2022 | 15 | 2022 |

Some constructive variants of S4 with the finite model property P Balbiani, M Diéguez, D Fernández-Duque 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 15 | 2021 |

Towards dynamic answer set programming over finite traces P Cabalar, M Diéguez, T Schaub International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019 | 15 | 2019 |

An intuitionistic axiomatization ofeventually' M Diéguez, D Fernández-Duque arXiv preprint arXiv:1804.03217, 2018 | 12 | 2018 |

Implementing dynamic answer set programming over finite traces P Cabalar, M Diéguez, T Schaub, F Laferriere ECAI 2020, 656-663, 2020 | 10 | 2020 |

Protein folding with cellular automata in the 3D HP model J Santos, P Villot, M Diéguez Proceedings of the 15th annual conference companion on Genetic and …, 2013 | 9 | 2013 |

Complete intuitionistic temporal logics for topological dynamics J Boudou, M Diéguez, D Fernández-Duque The Journal of Symbolic Logic 87 (3), 995-1022, 2022 | 8 | 2022 |

Temporal logic programs with variables F Aguado, P Cabalar, G Pérez, C Vidal, M Dieguez Theory and Practice of Logic Programming 17 (2), 226-243, 2017 | 8 | 2017 |