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
552013
STeLP – A Tool for Temporal Answer Set Programming
P Cabalar, M Diéguez
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
342011
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
322011
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
252019
Temporal here and there
P Balbiani, M Diéguez
European Conference on Logics in Artificial Intelligence, 81-96, 2016
252016
Strong equivalence of non-monotonic temporal theories
P Cabalar, M Diéguez
Fourteenth International Conference on the Principles of Knowledge …, 2014
242014
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
222023
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
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
202020
A decidable intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
202017
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
162018
Towards dynamic answer set programming over finite traces
P Cabalar, M Diéguez, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
142019
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
132021
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
122022
An intuitionistic axiomatization ofeventually'
M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1804.03217, 2018
122018
Implementing Dynamic Answer Set Programming
P Cabalar, M Diéguez, T Schaub, F Laferriere
arXiv preprint arXiv:2002.06916, 2020
92020
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
Axiomatic systems and topological semantics for intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque, F Romero
European Conference on Logics in Artificial Intelligence, 763-777, 2019
72019
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
72017
The system can't perform the operation now. Try again later.
Articles 1–20