| Closure via functional dependence simplification A Mora, P Cordero, M Enciso, I Fortes, G Aguilera International Journal of Computer Mathematics 89 (4), 510-526, 2012 | 68 | 2012 |
| SLFD Logic: Elimination of Data Redundancy in Knowledge Representation P Cordero, M Enciso, A Mora, IP de Guzmán Advances in Artificial Intelligence—IBERAMIA 2002: 8th Ibero-American …, 2002 | 58 | 2002 |
| A tableau calculus for equilibrium entailment D Pearce, IP de Guzmán, A Valverde Automated Reasoning with Analytic Tableaux and Related Methods …, 2000 | 48 | 2000 |
| Generalizations of lattices via non-deterministic operators J Martínez, G Gutiérrez, IP de Guzmán, P Cordero Discrete mathematics 295 (1-3), 107-141, 2005 | 30 | 2005 |
| Reductions for non-clausal theorem proving G Aguilera, IP de Guzmán, M Ojeda-Aciego, A Valverde Theoretical Computer Science 266 (1-2), 81-112, 2001 | 30 | 2001 |
| A new algebraic tool for automatic theorem provers P Cordero, G Gutiérrez, J Martínez, IP de Guzmán Annals of Mathematics and Artificial Intelligence 42, 369-398, 2004 | 26 | 2004 |
| An efficient preprocessing transformation for functional dependencies sets based on the substitution paradigm A Mora, M Enciso, P Cordero, I Pérez de Guzmán Conference on Technology Transfer, 136-146, 2003 | 26 | 2003 |
| Increasing the efficiency of automated theorem proving G Aguilera, IP de Guzmán, M Ojeda Journal of Applied Non-Classical Logics 5 (1), 9-29, 1995 | 26 | 1995 |
| A new closure algorithm based in logic: SLFD-Closure versus classical closures A Mora, G Aguilera, M Enciso, P Cordero, IP de Guzmán Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2006 | 25 | 2006 |
| Structure theorems for alternative H*-algebras IP de Guzman Mathematical Proceedings of the Cambridge Philosophical Society 94 (3), 437-446, 1983 | 23 | 1983 |
| Computing equilibrium models using signed formulas D Pearce, IP de Guzmán, A Valverde Computational Logic—CL 2000: First International Conference London, UK …, 2000 | 20 | 2000 |
| Formalization of UML state machines using temporal logic C Rossi, M Enciso, IP De Guzmán Software & Systems Modeling 3, 31-54, 2004 | 17 | 2004 |
| A reduction-based theorem prover for 3-valued logic G Aguilera Venegas, I Pérez de Guzmán Molina, M Ojeda Aciego Mathware & soft computing. 1997 Vol. 4 Núm. 2, 1997 | 17 | 1997 |
| A complete logic for fuzzy functional dependencies over domains with similarity relations P Cordero, M Enciso, A Mora, IP de Guzmán Bio-Inspired Systems: Computational and Ambient Intelligence: 10th …, 2009 | 16 | 2009 |
| Multilattices via multisemilattices J Martınez, G Gutiérrez, IP de Guzmán, P Cordero Topics in applied and theoretical mathematics and computer science, 238-248, 2001 | 16 | 2001 |
| A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time A Burrieza, IP De Guzmán Journal of Applied Non-Classical Logics 2 (2), 181-200, 1992 | 16 | 1992 |
| Non-deterministic ideal operators: An adequate tool for formalization in Data Bases P Cordero, A Mora, IP de Guzmán, M Enciso Discrete Applied Mathematics 156 (6), 911-923, 2008 | 15 | 2008 |
| A non-explosive treatment of Functional dependencies using rewriting logic G Aguilera, P Cordero, M Enciso, A Mora, IP de Guzmán Advances in Artificial Intelligence–SBIA 2004: 17th Brazilian Symposium on …, 2004 | 15 | 2004 |
| Reducing signed propositional formulas IP de Guzmán, M Ojeda-Aciego, A Valverde Soft Computing 2 (4), 157-166, 1999 | 14 | 1999 |
| Satisfiability testing for Boolean formulas using Δ-trees G Gutierrez, IP de Guzmán, J Martínez, M Ojeda-Aciego, A Valverde Studia Logica 72, 85-112, 2002 | 12 | 2002 |
