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 | 46 | 2013 |

Differential evolution for protein structure prediction using the HP model J Santos, M Diéguez Foundations on Natural and Artificial Computation: 4th International Work …, 2011 | 33 | 2011 |

STeLP–a tool for temporal answer set programming P Cabalar, M Diéguez Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 32 | 2011 |

Temporal here and there P Balbiani, M Diéguez Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016 | 24 | 2016 |

Strong Equivalence of Non-Monotonic Temporal Theories. P Cabalar, M Diéguez KR, 2014 | 24 | 2014 |

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 | 22 | 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 |

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 | 17 | 2019 |

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

Introducing Temporal Stable Models for Linear Dynamic Logic. AG Bosser, P Cabalar, M Diéguez, T Schaub KR, 12-21, 2018 | 14 | 2018 |

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 | 12 | 2020 |

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

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

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

Implementing Dynamic Answer Set Programming P Cabalar, M Diéguez, T Schaub, F Laferriere arXiv preprint arXiv:2002.06916, 2020 | 8 | 2020 |

Axiomatic systems and topological semantics for intuitionistic temporal logic J Boudou, M Diéguez, D Fernández-Duque, F Romero Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 7 | 2019 |

An infinitary encoding of temporal equilibrium logic P Cabalar, M Dieguez, C Vidal Theory and Practice of Logic Programming 15 (4-5), 666-680, 2015 | 7 | 2015 |

Reasoning on molecular interaction maps JM Alliot, R Demolombe, LF del Cerro, M Diéguez, N Obeid Proc. of ESCIM, 263-269, 2015 | 7 | 2015 |

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 | 7 | 2013 |

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 | 6 | 2021 |