Manuel Enciso García-Oliveros

Associate 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

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

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

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.

QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for {PET} Kinetic Analysis

2019
Francisco Javier López-González, José Paredes-Pacheco, Karl Thurnhofer-Hemsi, Carlos Rossi, Manuel Enciso, Daniel Toro-Flores, Belén Murcia-Casas, Antonio L. Gutiérrez-Cardo, Núria Roé-Vellvé
Neuroinformatics vol. 17 (1), pages 103–114.

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

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.

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.

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.

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.

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.

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.

Una forma normal temporal independiente del m{'{e}}todo de deducci{'{o}}n

2004
Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi
Inteligencia Artif. vol. 8 (23), pages 27–45.

Formalization of {UML} state machines using temporal logic

2004
Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
Softw. Syst. Model. vol. 3 (1), pages 31–54.

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