Manuel Enciso

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 31

Top Topics

Concept Lattice

Reducing The Search Space

Attribute Dependencies

Formal Concept Analysis

Top Venues

Int. J. Gen. Syst.

Publications

Pablo Cordero, Manuel Enciso, Ángel Mora, Francisco Pérez-Gámez
Attribute implications with unknown information based on weak Heyting algebras. Fuzzy Sets Syst. 490 (2024)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
Simplification logic for the management of unknown information. Inf. Sci. 634 (2023)
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. IEEE Trans. Fuzzy Syst. 30 (12) (2022)
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
fcaR, Formal Concept Analysis with R. R J. 14 (1) (2022)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
Partial formal contexts with degrees. CLA (2022)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
Computing the Mixed Concept Lattice. IPMU (1) (2022)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
A Galois connection between partial formal contexts and attribute sets. CLA (2022)
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
fcaR, Spreading FCA to the Data Science World. CLA (2022)
Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Angel Mora
Clustering and Identification of Core Implications. ICFCA (2021)
Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Ángel Mora
How to provide light to COVID data by means of FCA. RealDataFCA@ICFCA (2021)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Angel Mora
A New Kind of Implication to Reason with Unknown Information. ICFCA (2021)
Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Parameterized simplification logic I: reasoning with implications and classes of closure operators. Int. J. Gen. Syst. 49 (7) (2020)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego, Carlos Rossi
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. Int. J. Comput. Intell. Syst. 13 (1) (2020)
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Angel Mora
A conversational recommender system for diagnosis using fuzzy rules. Expert Syst. Appl. 154 (2020)
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é
QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for PET Kinetic Analysis. Neuroinformatics 17 (1) (2019)
Pablo Cordero, Manuel Enciso, Angel Mora, Pablo Gomez González
An Approach to Visualize Implications. ICFCA (Supplements) (2019)
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora
Minimal generators, an affordable approach by means of massive computation. J. Supercomput. 75 (3) (2019)
Pablo Cordero, Manuel Enciso, Angel Mora
Directness in Fuzzy Formal Concept Analysis. IPMU (1) (2018)
Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Towards Simplification Logic for Graded Attribute Implications with General Semantics. CLA (2018)
Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Angel Mora
Direct-optimal basis computation by means of the fusion of simplification rules. Discret. Appl. Math. 249 (2018)
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora
Formation of the D-basis from implicational systems using Simplification logic. Int. J. Gen. Syst. 46 (5) (2017)
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora Bonilla
Canonical dichotomous direct bases. Inf. Sci. 376 (2017)
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora Bonilla
Reducing the search space by closure and simplification paradigms. J. Supercomput. 73 (1) (2017)
L. Jezková, Pablo Cordero, Manuel Enciso
Fuzzy functional dependencies: A comparative survey. Fuzzy Sets Syst. 317 (2017)
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora Bonilla
An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis. Int. J. Intell. Syst. 32 (8) (2017)
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Angel Mora Bonilla
CAISL: Simplification Logic for Conditional Attribute Implications. CLA (2016)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Concept lattices with negative information: A characterization theorem. Inf. Sci. 369 (2016)
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Automated prover for attribute dependencies in data with grades. Int. J. Approx. Reason. 70 (2016)
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora
From an Implicational System to its Corresponding D-basis. CLA (2015)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego, Carlos Rossi
Knowledge discovery in social networks by using a logic-based treatment of implications. Knowl. Based Syst. 87 (2015)
José Manuel Rodríguez-Jiménez, Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora
A Normal Form for Fuzzy Functional Dependencies. SSCI (2015)
Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Angel Mora
The Direct-optimal Basis via Reductions. CLA (2014)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora
A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis. CLA (2014)
Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán
A tableaux-like method to infer all minimal keys. Log. J. IGPL 22 (6) (2014)
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora
Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism. ICSOFT EA (2014)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora
Negative Attributes and Implications in Formal Concept Analysis. ITQM (2014)
Manuel Enciso, Enrique Soler
Teaching database design: A reverse engineering approach. EDUCON (2013)
Pablo Cordero, Manuel Enciso, Angel Mora
Automated Reasoning to Infer all Minimal Keys. IJCAI (2013)
Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora
-based OCL Constraints. ICSOFT (2013)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara
Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. ICSOFT (Selected Papers) (2013)
Pablo Cordero, Manuel Enciso, Angel Mora Bonilla, Manuel Ojeda-Aciego
Bases via Minimal Generators. FCA4AI@IJCAI (2013)
Pablo Cordero, Manuel Enciso, Angel Mora, José Manuel Rodríguez-Jiménez
Computing non-redundant sets of functional dependencies via simplification. FOCI (2013)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora
Automated Inference with Fuzzy Functional Dependencies over Graded Data. IWANN (2) (2013)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego
Computing Left-Minimal Direct Basis of implications. CLA (2013)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara
Context-aware Recommendation using Fuzzy Formal Concept Analysis. ICSOFT (2013)
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)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego
Computing Minimal Generators from Implications: a Logic-guided Approach. CLA (2012)
Angel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
Closure via functional dependence simplification. Int. J. Comput. Math. 89 (4) (2012)
Manuel Enciso, Carlos Rossi, Antonio Guevara
A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation. ICSOFT (2012)
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)
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) (2011)
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)
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)
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)
Pablo Cordero, Angel Mora, Inman P. de Guzmán, Manuel Enciso
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discret. Appl. Math. 156 (6) (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 Artif. 10 (31) (2006)
Angel Mora, Manuel Enciso
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. ICEIS (1) (2006)
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)
Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
A/D Case: A New Heart for FD3. ICEIS (1) (2004)
Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
Formalization of UML state machines using temporal logic. Softw. Syst. Model. 3 (1) (2004)
Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi
Una forma normal temporal independiente del método de deducción. Inteligencia Artif. 8 (23) (2004)
Carlos Rossi, Manuel Enciso, Angel Mora
A First Order Temporal Logic for Behavior Representation. IBERAMIA (2004)
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)
Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. Reports Math. Log. 36 (2002)
Manuel Enciso, Angel Mora
FD3: A Functional Dependencies Data Dictionary. ICEIS (2002)
Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán
Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA (2002)
Pablo Cordero, Manuel Enciso, Inman P. de Guzmán
Bases for closed sets of implicants and implicates in temporal logic. Acta Informatica 38 (9) (2002)
Inman P. de Guzmán, Manuel Enciso, Pablo Cordero
A temporal negative normal form which preserves implicants and implicates. J. Appl. Non Class. Logics 10 (3-4) (2000)
Inman P. de Guzmán, Pablo Cordero, Manuel Enciso
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic. EPIA (1999)
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
Temporal Reasoning over Linear Discrete Time. JELIA (1996)
Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego
Executing Intensional Logic with the TAS Tool. APPIA-GULP-PRODE (1996)
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
A Temporal Logic for Program Specification. GULP-PRODE (2) (1994)