Pablo Cordero

Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego: Finitary coalgebraic multisemilattices and multilattices. Applied Mathematics and Computation 219(1): 31-44 (2012)

Pablo Cordero, Julius B. Lucks, Rhiju Das: An RNA Mapping DataBase for curating RNA structure mapping experiments. Bioinformatics 28(22): 3006-3008 (2012)

Angel Mora, Pablo Cordero, Manuel Enciso, I. Fortes, Gabriel Aguilera: Closure via functional dependence simplification. Int. J. Comput. Math. 89(4): 510-526 (2012)

Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego: Computing Minimal Generators from Implications: a Logic-guided Approach. CLA 2012: 187-198

Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil: An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. MDAI 2012: 408-419

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)

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

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

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

Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Non-deterministic Algebraic Structures for Soft Computing. IWANN (2) 2011: 437-444

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)

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)

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

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)

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)

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

Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego: Fuzzy Logic, Soft Computing, and Applications. IWANN (1) 2009: 236-244

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

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)

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)

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

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)

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)

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

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

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

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)

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)

Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán: SL_FD Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA 2002: 141-150

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): 243-272 (2000)

Inman P. de Guzmán, Pablo Cordero, Manuel Enciso: Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA 1999: 193-207