Follow
Martin Diéguez
Martin Diéguez
Verified email at univ-angers.fr
Title
Cited by
Cited by
Year
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
582013
STeLP – A Tool for Temporal Answer Set Programming
P Cabalar, M Diéguez
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
362011
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
332011
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
312019
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
292023
Temporal here and there
P Balbiani, M Diéguez
European Conference on Logics in Artificial Intelligence, 81-96, 2016
272016
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
252020
Strong equivalence of non-monotonic temporal theories
P Cabalar, M Diéguez
Fourteenth International Conference on the Principles of Knowledge …, 2014
242014
A decidable intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
232017
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
212014
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
182013
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
172018
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
152022
Towards dynamic answer set programming over finite traces
P Cabalar, M Diéguez, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
152019
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
142021
An intuitionistic axiomatization ofeventually'
M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1804.03217, 2018
122018
Implementing dynamic answer set programming over finite traces
P Cabalar, M Diéguez, T Schaub, F Laferriere
ECAI 2020, 656-663, 2020
112020
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
92022
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
92013
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
82017
The system can't perform the operation now. Try again later.
Articles 1–20