A Temporal Logic for Program Specification. - Manuel Enciso; Inman P. de Guzmán; Carlos Rossi (GULP-PRODE (2), 1994)

Executing Intensional Logic with the TAS Tool. - Manuel Enciso; J. F. Moncada; Inman P. de Guzmán; Manuel Ojeda-Aciego (APPIA-GULP-PRODE, 1996)

Temporal Reasoning over Linear Discrete Time. - Manuel Enciso; Inman P. de Guzmán; Carlos Rossi (JELIA, 1996)

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

A temporal negative normal form which preserves implicants and implicates. - Inman P. de Guzmán; Manuel Enciso; Pablo Cordero (J. Appl. Non Class. Logics, 2000)

SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Inman P. de Guzmán (IBERAMIA, 2002)

FD3: A Functional Dependencies Data Dictionary. - Manuel Enciso; Ángel Mora 001 (ICEIS, 2002)

Bases for closed sets of implicants and implicates in temporal logic. - Pablo Cordero; Manuel Enciso; Inman P. de Guzmán (Acta Informatica, 2002)

From the Poset of Temporal Implicates/implicants to a Temporal Negative Form. - Pablo Cordero; Manuel Enciso; Inmaculada Perez de Guzmán (Reports Math. Log., 2002)

An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. - Ángel Mora 001; Manuel Enciso; Pablo Cordero; Inmaculada Perez de Guzmán (CAEPIA, 2003)

A First Order Temporal Logic for Behavior Representation. - Carlos Rossi; Manuel Enciso; Ángel Mora 001 (IBERAMIA, 2004)

A/D Case: A New Heart for FD3. - Ángel Mora 001; Manuel Enciso; Pablo Cordero; Inman P. de Guzmán; J. Guerrero (ICEIS (1), 2004)

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. - Gabriel Aguilera 001; Pablo Cordero; Manuel Enciso; Ángel Mora 001; Inmaculada Perez de Guzmán (SBIA, 2004)

Una forma normal temporal independiente del método de deducción. - Manuel Enciso; Inmaculada Perez de Guzmán; Carlos Rossi (Inteligencia Artif., 2004)

Formalization of UML state machines using temporal logic. - Carlos Rossi; Manuel Enciso; Inmaculada Perez de Guzmán (Softw. Syst. Model., 2004)

A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. - Ángel Mora 001; Manuel Enciso (ICEIS (1), 2006)

A new closure algorithm based in logic: SLFD-Closure versus classical closures. - Ángel Mora 001; Gabriel Aguilera 001; Manuel Enciso; Pablo Cordero; Inmaculada Perez de Guzmán (Inteligencia Artif., 2006)

Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. - Pablo Cordero; Ángel Mora 001; Inman P. de Guzmán; Manuel Enciso (Discret. Appl. Math., 2008)

A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Inmaculada Perez de Guzmán (IWANN (1), 2009)

A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. - Carlos Rossi; Antonio Guevara; Manuel Enciso; José Luis Caro; Ángel Mora 001; Pablo Cordero (ICSOFT (2), 2010)

Specification and inference of fuzzy attributes. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Inmaculada Perez de Guzmán; José Manuel Rodríguez-Jiménez (FOCI, 2011)

A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms. - Manuel Enciso García-Oliveros; Angel Mora-Bonilla; Pablo Cordero; Rosario Baena (ICSOFT (1), 2011)

An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Inmaculada Perez de Guzmán; José Manuel Rodríguez-Jiménez (IWANN (2), 2011)

Ideal non-deterministic operators as a formal framework to reduce the key finding problem. - Ángel Mora 001; Inmaculada Perez de Guzmán; Manuel Enciso; Pablo Cordero (Int. J. Comput. Math., 2011)

Computing Minimal Generators from Implications: a Logic-guided Approach. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego (CLA, 2012)

A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation. - Manuel Enciso; Carlos Rossi; Antonio Guevara (ICSOFT, 2012)

An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. - Radim Belohlávek; Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (MDAI, 2012)

Closure via functional dependence simplification. - Ángel Mora 001; Pablo Cordero; Manuel Enciso; Inmaculada Fortes; Gabriel Aguilera 001 (Int. J. Comput. Math., 2012)

Computing Left-Minimal Direct Basis of implications. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego (CLA, 2013)

Teaching database design: A reverse engineering approach. - Manuel Enciso; Enrique Soler (EDUCON, 2013)

Computing non-redundant sets of functional dependencies via simplification. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; José Manuel Rodríguez-Jiménez (FOCI, 2013)

Quality Improvement in Data Models with SLFD-based OCL Constraints. - Rosario Baena; Roberto Aragón; Manuel Enciso; Carlos Rossi; Pablo Cordero; Ángel Mora 001 (ICSOFT, 2013)

Context-aware Recommendation using Fuzzy Formal Concept Analysis. - José Luis Leiva; Manuel Enciso; Carlos Rossi; Pablo Cordero; Ángel Mora 001; Antonio Guevara (ICSOFT, 2013)

Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. - José Luis Leiva; Manuel Enciso; Carlos Rossi; Pablo Cordero; Ángel Mora 001; Antonio Guevara (ICSOFT (Selected Papers), 2013)

Bases via Minimal Generators. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego (FCA4AI@IJCAI, 2013)

Automated Reasoning to Infer all Minimal Keys. - Pablo Cordero; Manuel Enciso; Ángel Mora 001 (IJCAI, 2013)

Automated Inference with Fuzzy Functional Dependencies over Graded Data. - José Manuel Rodríguez-Jiménez; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (IWANN (2), 2013)

The Direct-optimal Basis via Reductions. - Estrella Rodríguez Lorenzo; Karell Bertet; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (CLA, 2014)

A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis. - José Manuel Rodríguez-Jiménez; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (CLA, 2014)

Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism. - Fernando Benito Picazo; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (ICSOFT EA, 2014)

Negative Attributes and Implications in Formal Concept Analysis. - José Manuel Rodríguez-Jiménez; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (ITQM, 2014)

A tableaux-like method to infer all minimal keys. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Inmaculada Perez de Guzmán (Log. J. IGPL, 2014)

From an Implicational System to its Corresponding D-basis. - Estrella Rodríguez Lorenzo; Kira V. Adaricheva; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (CLA, 2015)

A Normal Form for Fuzzy Functional Dependencies. - José Manuel Rodríguez-Jiménez; Estrella Rodríguez Lorenzo; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (SSCI, 2015)

Knowledge discovery in social networks by using a logic-based treatment of implications. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego; Carlos Rossi (Knowl. Based Syst., 2015)

CAISL: Simplification Logic for Conditional Attribute Implications. - Estrella Rodríguez Lorenzo; Pablo Cordero; Manuel Enciso; Rokia Missaoui; Ángel Mora 001 (CLA, 2016)

Automated prover for attribute dependencies in data with grades. - Radim Belohlávek; Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (Int. J. Approx. Reason., 2016)

Concept lattices with negative information: A characterization theorem. - José Manuel Rodríguez-Jiménez; Pablo Cordero; Manuel Enciso; Sebastian Rudolph (Inf. Sci., 2016)

Fuzzy functional dependencies: A comparative survey. - L. Jezková; Pablo Cordero; Manuel Enciso (Fuzzy Sets Syst., 2017)

Formation of the D-basis from implicational systems using Simplification logic. - Estrella Rodríguez Lorenzo; Kira V. Adaricheva; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (Int. J. Gen. Syst., 2017)

An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis. - Estrella Rodríguez Lorenzo; Pablo Cordero; Manuel Enciso; Rokia Missaoui; Ángel Mora 001 (Int. J. Intell. Syst., 2017)

Canonical dichotomous direct bases. - Estrella Rodríguez Lorenzo; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (Inf. Sci., 2017)

Reducing the search space by closure and simplification paradigms. - Fernando Benito Picazo; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (J. Supercomput., 2017)

Towards Simplification Logic for Graded Attribute Implications with General Semantics. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (CLA, 2018)

Directness in Fuzzy Formal Concept Analysis. - Pablo Cordero; Manuel Enciso; Ángel Mora 001 (IPMU (1), 2018)

Direct-optimal basis computation by means of the fusion of simplification rules. - Estrella Rodríguez Lorenzo; Karell Bertet; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (Discret. Appl. Math., 2018)

An Approach to Visualize Implications. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Pablo Gomez González (ICFCA (Supplements), 2019)

QModeling: a Multiplatform, Easy-to-Use and Open-Source Toolbox for PET Kinetic Analysis. - 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, 2019)

Minimal generators, an affordable approach by means of massive computation. - Fernando Benito Picazo; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (J. Supercomput., 2019)

A conversational recommender system for diagnosis using fuzzy rules. - Pablo Cordero; Manuel Enciso; Domingo López-Rodríguez; Ángel Mora 001 (Expert Syst. Appl., 2020)

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego; Carlos Rossi (Int. J. Comput. Intell. Syst., 2020)

Parameterized simplification logic I: reasoning with implications and classes of closure operators. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (Int. J. Gen. Syst., 2020)

Clustering and Identification of Core Implications. - Domingo López-Rodríguez; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (ICFCA, 2021)

How to provide light to COVID data by means of FCA. - Domingo López-Rodríguez; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (RealDataFCA@ICFCA, 2021)

A New Kind of Implication to Reason with Unknown Information. - Francisco Pérez-Gámez; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (ICFCA, 2021)

Scalable Visual Analytics in FCA. - Tim Pattison; Manuel Enciso; Ángel Mora 001; Pablo Cordero; Derek Weber; Michael Broughton (Complex Data Analytics with Formal Concept Analysis, 2022)

fcaR, Spreading FCA to the Data Science World. - Pablo Cordero; Manuel Enciso; Domingo López-Rodríguez; Ángel Mora 001 (CLA, 2022)

A Galois connection between partial formal contexts and attribute sets. - Francisco Pérez-Gámez; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (CLA, 2022)

Partial formal contexts with degrees. - Francisco Pérez-Gámez; Pablo Cordero; Manuel Enciso; Ángel Mora 001; Manuel Ojeda-Aciego (CLA, 2022)

Computing the Mixed Concept Lattice. - Francisco Pérez-Gámez; Pablo Cordero; Manuel Enciso; Domingo López-Rodríguez; Ángel Mora 001 (IPMU (1), 2022)

fcaR, Formal Concept Analysis with R. - Pablo Cordero; Manuel Enciso; Domingo López-Rodríguez; Ángel Mora 001 (R J., 2022)

Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Vilém Vychodil (IEEE Trans. Fuzzy Syst., 2022)

Simplification logic for the management of unknown information. - Francisco Pérez-Gámez; Pablo Cordero; Manuel Enciso; Ángel Mora 001 (Inf. Sci., 2023)

Attribute implications with unknown information based on weak Heyting algebras. - Pablo Cordero; Manuel Enciso; Ángel Mora 001; Francisco Pérez-Gámez (Fuzzy Sets Syst., 2024)