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 | 55 | 2013 |
Strongly equivalent temporal logic programs F Aguado, P Cabalar, G Pérez, C Vidal Logics in Artificial Intelligence 5293, 8-20, 2008 | 26 | 2008 |
Forgetting auxiliary atoms in forks F Aguado, P Cabalar, J Fandinno, D Pearce, G Pérez, C Vidal Artificial Intelligence 275, 575-601, 2019 | 24 | 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 | 22 | 2023 |
Loop formulas for splitable temporal logic programs F Aguado, P Cabalar, G Pérez, C Vidal Lecture Notes in Computer Science 6645, 80-92, 2011 | 22 | 2011 |
Teoría de grafos. Ejercicios y problemas resueltos A RODRÍGUEZ, FA Martín, FG Couso, ML González, GP Vera, CV Martín Paraninfo, 2014 | 11 | 2014 |
Localization and sheaves: a relative point of view J Pascual, C Vidal, A Verschoren CRC Press, 1995 | 11 | 1995 |
Integrating temporal extensions of answer set programming F Aguado, G Pérez, C Vidal International Conference on Logic Programming and Nonmonotonic Reasoning, 23-35, 2013 | 9 | 2013 |
Foundations of generic optimization. Vol. 1. A combinatorial approach to epistasis M Iglesias, B Naudts, A Verschoren, C Vidal Mathematical Modelling: Theory and Applications. Springer, 2005 | 9 | 2005 |
Relatively Noetherian rings, localization and sheaves. II: Structure sheaves A Verschoren, CV Martin K-theory 8 (2), 133-152, 1994 | 8 | 1994 |
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 | 7 | 2017 |
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 |
Certified genetic algorithms: Crossover operators for permutations F Aguado, JL Doncel, JM Molinelli, G Pérez, C Vidal, A Vieites Computer Aided Systems Theory–EUROCAST 2007: 11th International Conference …, 2007 | 7 | 2007 |
Relatively Noetherian rings, localization and sheaves. I: The relative second layer condition A Verschoren, CV Martin K-theory 8 (2), 107-131, 1994 | 7 | 1994 |
A complete planner for temporal answer set programming P Cabalar, M Rey, C Vidal Progress in Artificial Intelligence: 19th EPIA Conference on Artificial …, 2019 | 6 | 2019 |
Genetic algorithms in Coq: generalization and formalization of the crossover operator F Aguado, JL Doncel, JM Molinelli, G Pérez, C Vidal Journal of Formalized Reasoning, 25-37, 2008 | 6 | 2008 |
Multary epistasis. MT Iglesias, C Vidal, D Suys, A Verschoren Bulletin of the Belgian Mathematical Society. Simon Stevin 8 (4), 651-671, 2001 | 6 | 2001 |
Epistasis and unitation MT Iglesias, C Vidal, D Suys, A Verschoren Computing and Informatics 18 (5), 467-483, 1999 | 6 | 1999 |
Temporal equilibrium logic with past operators F Aguado, P Cabalar, M Diéguez, G Pérez, C Vidal Journal of Applied Non-Classical Logics 27 (3-4), 161-177, 2017 | 5 | 2017 |
Reflecting torsion C Vidal, A Verschoren Bull. Soc. Math. Belg 45, 281-299, 1993 | 5 | 1993 |