Pablo Cordero Ortega

Full Professor

website scholar github
NoteRecent publications

Attribute implications with unknown information based on weak Heyting algebras

2024
Pablo Cordero, Manuel Enciso, Ángel Mora, Francisco Pérez Gámez
Fuzzy Sets Syst. vol. 490 , pages 109026.

Simplification logic for the management of unknown information

2023
Francisco Pérez Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
Information Sciences, vol. 638, July 2023, pp 505–519

Fuzzy Algebras of Concepts

2023
Manuel Ojeda Hernández, Domingo López Rodríguez, Pablo Cordero
Axioms, 12(4), 324

Fuzzy closure structures as formal concepts

2023
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco
Fuzzy Sets Syst. 463: 108458

Fuzzy closure structures as formal concepts II

2023
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco
Fuzzy Sets Syst. 473: 108734

Fuzzy relational Galois connections between fuzzy transitive digraphs

2023
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets
Fuzzy Sets Syst. 463: 108456

fcaR, Formal Concept Analysis with R

2022
Pablo Cordero, Manuel Enciso, Domingo López Rodríguez, Ángel Mora
The R Journal

Parameterized Simplification Logic: Reasoning With Implications in an Automated Way

2022
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilem Vychodil
IEEE Transactions on Fuzzy Systems vol 30 (12), 5534 - 5543

Simplifying Implications with Positive and Negative Attributes: A Logic-Based Approach

2022
Francisco Pérez Gámez, Domingo López Rodríguez, Pablo Cordero, Ángel Mora, Manuel Ojeda-Aciego
Mathematics, 10(4) 607

Quasi-closed elements in fuzzy posets

2022
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero
J. Comput. Appl. Math. 404: 113390

Fuzzy closure systems: Motivation, definition and properties

2022
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco
International Journal of Approximate Reasoning vol. 148 , pages 151 – 161.

Fuzzy closure relations

2022
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco
Fuzzy Sets and Systems vol. 450 , pages 118 – 132.

A conversational recommender system for diagnosis using fuzzy rules

2020
Pablo Cordero, Manuel Enciso, Domingo López Rodríguez, Ángel Mora
Expert Systems with Applications, volume 154, 2020

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation

2020
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
International Journal of Computational Intelligence Systems, 13 (1), pp. 1243 - 1252

Parameterized simplification logic I: reasoning with implications and classes of closure operators

2020
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilem Vychodil
International Journal of General Systems vol 49 (7), pp. 724 – 746

Relational Galois connections between transitive digraphs: Characterization and construction

2020
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets
Information Sciences vol. 519 , pages 439 – 450.

Relational Galois connections between transitive fuzzy digraphs

2020
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets
Mathematical Methods in the Applied Sciences vol. 43 (9), pages 5673 – 5680.

Minimal generators, an affordable approach by means of massive computation

2019
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
J. Supercomput. vol. 75 (3), pages 1350–1367.

Direct-optimal basis computation by means of the fusion of simplification rules

2018
Estrella Rodríguez-Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora
Discrete Applied Mathematics 249, pp. 106 - 119

Minimal generators, an affordable approach by means of massive computation

2018
Fernando Benito-Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
the Journal of Supercomputing vol. 75, pp. 1350–1367

Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure

2018
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets
{IEEE} Trans. Fuzzy Syst. vol. 26 (3), pages 1274–1287.

An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis

2017
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora
Int. J. Intell. Syst. vol. 32 (8), pages 760–777.

Canonical dichotomous direct bases

2017
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora
Inf. Sci. vol. 376 , pages 39–53.

On the construction of adjunctions between a fuzzy preposet and an unstructured set

2017
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets
Fuzzy Sets Syst. vol. 320 , pages 81–92.

Formation of the D-basis from implicational systems using Simplification logic

2017
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora
Int. J. Gen. Syst. vol. 46 (5), pages 547–568.

Fuzzy functional dependencies: {A} comparative survey

2017
L. Jezková, Pablo Cordero, Manuel Enciso
Fuzzy Sets Syst. vol. 317 , pages 88–120.

Reducing the search space by closure and simplification paradigms

2017
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
J. Supercomput. vol. 73 (1), pages 75–87.

Automated prover for attribute dependencies in data with grades

2016
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
Int. J. Approx. Reason. vol. 70 , pages 51–67.

Concept lattices with negative information: {A} characterization theorem

2016
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Inf. Sci. vol. 369 , pages 51–62.

Knowledge discovery in social networks by using a logic-based treatment of implications

2015
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
Knowl. Based Syst. vol. 87 , pages 16–25.

On the definition of suitable orderings to generate adjunctions over an unstructured codomain

2014
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez
Inf. Sci. vol. 286 , pages 173–187.

A tableaux-like method to infer all minimal keys

2014
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
Log. J. {IGPL} vol. 22 (6), pages 1019–1044.

On residuation in multilattices: Filters, congruences, and homomorphisms

2014
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
Fuzzy Sets Syst. vol. 234 , pages 1–21.

Closure via functional dependence simplification

2012
Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
Int. J. Comput. Math. vol. 89 (4), pages 510–526.

Finitary coalgebraic multisemilattices and multilattices

2012
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
Appl. Math. Comput. vol. 219 (1), pages 31–44.

Ideal non-deterministic operators as a formal framework to reduce the key finding problem

2011
Ángel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero
Int. J. Comput. Math. vol. 88 (9), pages 1860–1868.

A coalgebraic approach to non-determinism: Applications to multilattices

2010
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
Inf. Sci. vol. 180 (22), pages 4323–4335.

Congruence relations on some hyperstructures

2009
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
Ann. Math. Artif. Intell. vol. 56 (3-4), pages 361–370.

Fuzzy congruence relations on nd-groupoids

2009
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
Int. J. Comput. Math. vol. 86 (10{&}11), pages 1684–1695.

Non-deterministic ideal operators: An adequate tool for formalization in Data Bases

2008
Pablo Cordero, Ángel Mora, Inma P. de Guzmán, Manuel Enciso
Discret. Appl. Math. vol. 156 (6), pages 911–923.

A new closure algorithm based in logic: SLFD-Closure versus classical closures

2006
Ángel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
Inteligencia Artif. vol. 10 (31), pages 31–40.

Generalizations of lattices via non-deterministic operators

2005
Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero
Discret. Math. vol. 295 (1-3), pages 107–141.

A New Algebraic Tool for Automatic Theorem Provers

2004
Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán
Ann. Math. Artif. Intell. vol. 42 (4), pages 369–398.

Restricted ideals and the groupability property. Tools for temporal reasoning

2003
Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inma P. de Guzmán
Kybernetika vol. 39 (5), pages 521–546.

Bases for closed sets of implicants and implicates in temporal logic

2002
Pablo Cordero, Manuel Enciso, Inma P. de Guzmán
Acta Informatica vol. 38 (9), pages 599–619.

From the Poset of Temporal Implicates/implicants to a Temporal Negative Form

2002
Pablo Cordero, Manuel Enciso, Inma P. de Guzmán
Reports Math. Log. vol. 36 , pages 3–53.

A temporal negative normal form which preserves implicants and implicates

2000
Inma P. de Guzmán, Manuel Enciso, Pablo Cordero
J. Appl. Non Class. Logics vol. 10 (3-4), pages 243–272.
No matching items