 | 2012 |
| 27 |  | A. Mora,
Pablo Cordero,
Manuel Enciso,
I. Fortes,
Gabriel Aguilera:
Closure via functional dependence simplification.
Int. J. Comput. Math. 89(4): 510-526 (2012) |
| 2011 |
| 26 |  | Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inmaculada Perez de Guzmán,
José Manuel Rodríguez-Jiménez:
Specification and inference of fuzzy attributes.
FOCI 2011: 107-114 |
| 25 |  | Manuel Enciso García-Oliveros,
Angel Mora Bonilla,
Pablo Cordero,
Rosario Baena:
A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms.
ICSOFT (1) 2011: 313-316 |
| 24 |  | Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inmaculada Perez de Guzmán,
José Manuel Rodríguez-Jiménez:
An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies.
IWANN (2) 2011: 412-420 |
| 23 |  | Inma P. Cabrera,
Pablo Cordero,
Manuel Ojeda-Aciego:
Non-deterministic Algebraic Structures for Soft Computing.
IWANN (2) 2011: 437-444 |
| 22 |  | Pablo Cordero,
Julius B. Lucks,
Rhiju Das:
The Stanford RNA Mapping Database for sharing and visualizing RNA structure mapping experiments
CoRR abs/1110.0235: (2011) |
| 21 |  | Angel Mora,
Inmaculada Perez de Guzmán,
Manuel Enciso,
Pablo Cordero:
Ideal non-deterministic operators as a formal framework to reduce the key finding problem.
Int. J. Comput. Math. 88(9): 1860-1868 (2011) |
| 2010 |
| 20 |  | Carlos Rossi,
Antonio Guevara,
Manuel Enciso,
José Luis Caro,
Angel Mora,
Pablo Cordero:
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD.
ICSOFT (2) 2010: 195-200 |
| 19 |  | Inma P. Cabrera,
Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
Manuel Ojeda-Aciego:
A coalgebraic approach to non-determinism: Applications to multilattices.
Inf. Sci. 180(22): 4323-4335 (2010) |
| 2009 |
| 18 |  | Inma P. Cabrera,
Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
Manuel Ojeda-Aciego:
On Congruences and Homomorphisms on Some Non-deterministic Algebras.
IJCCI 2009: 59-67 |
| 17 |  | Inma P. Cabrera,
Pablo Cordero,
Manuel Ojeda-Aciego:
Fuzzy Logic, Soft Computing, and Applications.
IWANN (1) 2009: 236-244 |
| 16 |  | Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inmaculada Perez de Guzmán:
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.
IWANN (1) 2009: 261-269 |
| 15 |  | Inma P. Cabrera,
Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
Manuel Ojeda-Aciego:
Congruence relations on some hyperstructures.
Ann. Math. Artif. Intell. 56(3-4): 361-370 (2009) |
| 14 |  | Inma P. Cabrera,
Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
Manuel Ojeda-Aciego:
Fuzzy congruence relations on nd-groupoids.
Int. J. Comput. Math. 86(10&11): 1684-1695 (2009) |
| 2008 |
| 13 |  | Pablo Cordero,
Angel Mora,
Inman P. de Guzmán,
Manuel Enciso:
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases.
Discrete Applied Mathematics 156(6): 911-923 (2008) |
| 2006 |
| 12 |  | Gabriel Aguilera,
Alfredo Burrieza,
Pablo Cordero,
Inmaculada Perez de Guzmán,
Emilio Muñoz-Velasco:
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
IBERAMIA-SBIA 2006: 602-611 |
| 11 |  | Angel Mora,
Gabriel Aguilera,
Manuel Enciso,
Pablo Cordero,
Inmaculada Perez de Guzmán:
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 10(31): 31-40 (2006) |
| 2005 |
| 10 |  | Javier Martínez,
Gloria Gutiérrez,
Inmaculada Perez de Guzmán,
Pablo Cordero:
Generalizations of lattices via non-deterministic operators.
Discrete Mathematics 295(1-3): 107-141 (2005) |
| 2004 |
| 9 |  | Angel Mora,
Manuel Enciso,
Pablo Cordero,
Inman P. de Guzmán,
J. Guerrero:
A/D Case: A New Heart for FD3.
ICEIS (1) 2004: 482-490 |
| 8 |  | Gabriel Aguilera,
Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inmaculada Perez de Guzmán:
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
SBIA 2004: 31-40 |
| 7 |  | Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
Inmaculada Perez de Guzmán:
A New Algebraic Tool for Automatic Theorem Provers.
Ann. Math. Artif. Intell. 42(4): 369-398 (2004) |
| 2003 |
| 6 |  | Angel Mora,
Manuel Enciso,
Pablo Cordero,
Inmaculada Perez de Guzmán:
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.
CAEPIA 2003: 136-146 |
| 2002 |
| 5 |  | Pablo Cordero,
Manuel Enciso,
Angel Mora,
Inman P. de Guzmán:
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation.
IBERAMIA 2002: 141-150 |
| 4 |  | Pablo Cordero,
Manuel Enciso,
Inman P. de Guzmán:
Bases for closed sets of implicants and implicates in temporal logic.
Acta Inf. 38(9): 599-619 (2002) |
| 3 |  | Pablo Cordero,
Manuel Enciso,
Inmaculada Perez de Guzmán:
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form.
Reports on Mathematical Logic 36: 3-53 (2002) |
| 2000 |
| 2 |  | Inman P. de Guzmán,
Manuel Enciso,
Pablo Cordero:
A temporal negative normal form which preserves implicants and implicates.
Journal of Applied Non-Classical Logics 10(3-4): (2000) |
| 1999 |
| 1 |  | Inman P. de Guzmán,
Pablo Cordero,
Manuel Enciso:
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.
EPIA 1999: 193-207 |