Manuel Enciso

73 papers A* 1B 2C 6Misc 1Journal 28Unranked 34
YearRankTypeTitle / Venue / Authors
2024 J jnl
Attribute implications with unknown information based on weak Heyting algebras.
Fuzzy Sets Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Francisco Pérez-Gámez
2023 J jnl
Simplification logic for the management of unknown information.
Inf. Sci.
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
2022 — conf
A Galois connection between partial formal contexts and attribute sets.
CLA
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
2022 — conf
Computing the Mixed Concept Lattice.
IPMU (1)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2022 J jnl
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way.
IEEE Trans. Fuzzy Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2022 — conf
Partial formal contexts with degrees.
CLA
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2022 — ch.
Scalable Visual Analytics in FCA.
Complex Data Analytics with Formal Concept Analysis
Tim Pattison, Manuel Enciso, Ángel Mora, Pablo Cordero, Derek Weber, Michael Broughton
2022 J jnl
fcaR, Formal Concept Analysis with R.
R J.
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2022 — conf
fcaR, Spreading FCA to the Data Science World.
CLA
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2021 C conf
A New Kind of Implication to Reason with Unknown Information.
ICFCA
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
2021 C conf
Clustering and Identification of Core Implications.
ICFCA
Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Ángel Mora
2021 — conf
How to provide light to COVID data by means of FCA.
RealDataFCA@ICFCA
Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Ángel Mora
2020 J jnl
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.
Int. J. Comput. Intell. Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
2020 J jnl
A conversational recommender system for diagnosis using fuzzy rules.
Expert Syst. Appl.
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2020 J jnl
Parameterized simplification logic I: reasoning with implications and classes of closure operators.
Int. J. Gen. Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2019 — conf
An Approach to Visualize Implications.
ICFCA (Supplements)
Pablo Cordero, Manuel Enciso, Ángel Mora, Pablo Gomez González
2019 J jnl
Minimal generators, an affordable approach by means of massive computation.
J. Supercomput.
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
2019 J jnl
QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for PET Kinetic Analysis.
Neuroinformatics
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é
2018 J jnl
Direct-optimal basis computation by means of the fusion of simplification rules.
Discret. Appl. Math.
Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora
2018 — conf
Directness in Fuzzy Formal Concept Analysis.
IPMU (1)
Pablo Cordero, Manuel Enciso, Ángel Mora
2018 — conf
Towards Simplification Logic for Graded Attribute Implications with General Semantics.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2017 J jnl
An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis.
Int. J. Intell. Syst.
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora
2017 J jnl
Canonical dichotomous direct bases.
Inf. Sci.
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora
2017 J jnl
Formation of the D-basis from implicational systems using Simplification logic.
Int. J. Gen. Syst.
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora
2017 J jnl
Fuzzy functional dependencies: A comparative survey.
Fuzzy Sets Syst.
L. Jezková, Pablo Cordero, Manuel Enciso
2017 J jnl
Reducing the search space by closure and simplification paradigms.
J. Supercomput.
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
2016 J jnl
Automated prover for attribute dependencies in data with grades.
Int. J. Approx. Reason.
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2016 — conf
CAISL: Simplification Logic for Conditional Attribute Implications.
CLA
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora
2016 J jnl
Concept lattices with negative information: A characterization theorem.
Inf. Sci.
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
2015 — conf
A Normal Form for Fuzzy Functional Dependencies.
SSCI
José Manuel Rodríguez-Jiménez, Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora
2015 — conf
From an Implicational System to its Corresponding D-basis.
CLA
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora
2015 J jnl
Knowledge discovery in social networks by using a logic-based treatment of implications.
Knowl. Based Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
2014 — conf
A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis.
CLA
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora
2014 J jnl
A tableaux-like method to infer all minimal keys.
Log. J. IGPL
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2014 — conf
Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism.
ICSOFT EA
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
2014 — conf
Negative Attributes and Implications in Formal Concept Analysis.
ITQM
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora
2014 — conf
The Direct-optimal Basis via Reductions.
CLA
Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora
2013 — conf
Automated Inference with Fuzzy Functional Dependencies over Graded Data.
IWANN (2)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora
2013 A* conf
Automated Reasoning to Infer all Minimal Keys.
IJCAI
Pablo Cordero, Manuel Enciso, Ángel Mora
2013 — conf
Bases via Minimal Generators.
FCA4AI@IJCAI
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2013 — conf
Computing Left-Minimal Direct Basis of implications.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2013 — conf
Computing non-redundant sets of functional dependencies via simplification.
FOCI
Pablo Cordero, Manuel Enciso, Ángel Mora, José Manuel Rodríguez-Jiménez
2013 C conf
Context-aware Recommendation using Fuzzy Formal Concept Analysis.
ICSOFT
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara
2013 — conf
Improving Recommender Systems with Simplification Logic to Manage Implications with Grades.
ICSOFT (Selected Papers)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara
2013 C conf
Quality Improvement in Data Models with
ICSOFT
Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora
2013 C conf
Teaching database design: A reverse engineering approach.
EDUCON
Manuel Enciso, Enrique Soler
2012 C conf
A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation.
ICSOFT
Manuel Enciso, Carlos Rossi, Antonio Guevara
2012 B conf
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data.
MDAI
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2012 J jnl
Closure via functional dependence simplification.
Int. J. Comput. Math.
Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
2012 — conf
Computing Minimal Generators from Implications: a Logic-guided Approach.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2011 — conf
An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies.
IWANN (2)
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez
2011 J jnl
Ideal non-deterministic operators as a formal framework to reduce the key finding problem.
Int. J. Comput. Math.
Ángel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero
2011 — conf
Specification and inference of fuzzy attributes.
FOCI
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez
2010 — conf
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD.
ICSOFT (2)
Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Ángel Mora, Pablo Cordero
2009 — conf
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.
IWANN (1)
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2008 J jnl
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases.
Discret. Appl. Math.
Pablo Cordero, Ángel Mora, Inman P. de Guzmán, Manuel Enciso
2006 — conf
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information.
ICEIS (1)
Ángel Mora, Manuel Enciso
2006 J jnl
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Inteligencia Artif.
Ángel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
2004 — conf
A First Order Temporal Logic for Behavior Representation.
IBERAMIA
Carlos Rossi, Manuel Enciso, Ángel Mora
2004 — conf
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
SBIA
Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2004 — conf
A/D Case: A New Heart for FD3.
ICEIS (1)
Ángel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
2004 J jnl
Formalization of UML state machines using temporal logic.
Softw. Syst. Model.
Carlos Rossi, Manuel Enciso, Inmaculada Perez de Guzmán
2004 J jnl
Una forma normal temporal independiente del método de deducción.
Inteligencia Artif.
Manuel Enciso, Inmaculada Perez de Guzmán, Carlos Rossi
2003 — conf
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.
CAEPIA
Ángel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
2002 J jnl
Bases for closed sets of implicants and implicates in temporal logic.
Acta Informatica
Pablo Cordero, Manuel Enciso, Inman P. de Guzmán
2002 — conf
FD3: A Functional Dependencies Data Dictionary.
ICEIS
Manuel Enciso, Ángel Mora
2002 J jnl
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form.
Reports Math. Log.
Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán
2002 — conf
SL
IBERAMIA
Pablo Cordero, Manuel Enciso, Ángel Mora, Inman P. de Guzmán
2000 J jnl
A temporal negative normal form which preserves implicants and implicates.
J. Appl. Non Class. Logics
Inman P. de Guzmán, Manuel Enciso, Pablo Cordero
1999 Misc conf
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.
EPIA
Inman P. de Guzmán, Pablo Cordero, Manuel Enciso
1996 — conf
Executing Intensional Logic with the TAS Tool.
APPIA-GULP-PRODE
Manuel Enciso, J. F. Moncada, Inman P. de Guzmán, Manuel Ojeda-Aciego
1996 B conf
Temporal Reasoning over Linear Discrete Time.
JELIA
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi
1994 — conf
A Temporal Logic for Program Specification.
GULP-PRODE (2)
Manuel Enciso, Inman P. de Guzmán, Carlos Rossi