Manuel Enciso

发表

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

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2008, Discret. Appl. Math..

A tableaux-like method to infer all minimal keys

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2014, Log. J. IGPL.

Fuzzy functional dependencies: A comparative survey

Pablo Cordero, Manuel Enciso, L. Jezková, 2017, Fuzzy Sets Syst..

Computing Left-Minimal Direct Basis of implications

Angel Mora, Manuel Ojeda-Aciego, Pablo Cordero, 2013, CLA.

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation

Manuel Ojeda-Aciego, Pablo Cordero, Manuel Enciso, 2020, Int. J. Comput. Intell. Syst..

A temporal negative normal form which preserves implicants and implicates

Pablo Cordero, Inmaculada Perez de Guzmán, Manuel Enciso, 2000, J. Appl. Non Class. Logics.

Increasing the efficiency of minimal key enumeration methods by means of parallelism

Angel Mora, Pablo Cordero, Manuel Enciso, 2014, 2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA).

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

Pablo Cordero, Inmaculada Perez de Guzmán, Manuel Enciso, 2002, Reports Math. Log..

Automated Reasoning to Infer all Minimal Keys

Angel Mora, Pablo Cordero, Manuel Enciso, 2013, IJCAI.

Minimal generators, an affordable approach by means of massive computation

Angel Mora, Pablo Cordero, Manuel Enciso, 2018, The Journal of Supercomputing.

A conversational recommender system for diagnosis using fuzzy rules

Angel Mora, Domingo López-Rodríguez, Pablo Cordero, 2020, Expert Syst. Appl..

Bases for closed sets of implicants and implicates in temporal logic

Pablo Cordero, Inmaculada Perez de Guzmán, Manuel Enciso, 2002, Acta Informatica.

Closure via functional dependence simplification

Angel Mora, Pablo Cordero, Manuel Enciso, 2012, Int. J. Comput. Math..

Formalization of UML state machines using temporal logic

Inmaculada Perez de Guzmán, Manuel Enciso, Carlos Rossi, 2004, Software & Systems Modeling.

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

Angel Mora, Pablo Cordero, Manuel Enciso, 2017, Int. J. Gen. Syst..

Quality Improvement in Data Models with SLFD-based OCL Constraints

Angel Mora, Pablo Cordero, Manuel Enciso, 2013, ICSOFT.

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

Pablo Cordero, Manuel Enciso, Vilem Vychodil, 2020, Int. J. Gen. Syst..

An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2011, IWANN.

A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms

Pablo Cordero, Manuel Enciso, Rosario Baena, 2018, ICSOFT.

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

Karl Thurnhofer-Hemsi, Manuel Enciso, Núria Roé-Vellvé, 2018, Neuroinformatics.

Computing Minimal Generators from Implications: a Logic-guided Approach

Angel Mora, Manuel Ojeda-Aciego, Pablo Cordero, 2012, CLA.

Towards Simplification Logic for Graded Attribute Implications with General Semantics

Angel Mora, Vilém Vychodil, Pablo Cordero, 2018, CLA.

A Normal Form for Fuzzy Functional Dependencies

Angel Mora, Pablo Cordero, Manuel Enciso, 2015, 2015 IEEE Symposium Series on Computational Intelligence.

Automated Inference with Fuzzy Functional Dependencies over Graded Data

Angel Mora, Pablo Cordero, Manuel Enciso, 2013, IWANN.

From an Implicational System to its Corresponding D-basis

Angel Mora, Pablo Cordero, Manuel Enciso, 2015, CLA.

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

Karell Bertet, Angel Mora, Pablo Cordero, 2018, Discret. Appl. Math..

Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic

Pablo Cordero, Inmaculada Perez de Guzmán, Manuel Enciso, 1999, EPIA.

¶ AAAAAAAAAAAAAAAAAAAAAAAA ¶ AAAAAAAAAAAAAAAAAAAAAAAA ARTICULO

Angel Mora, Pablo Cordero, Manuel Enciso, 2006 .

A Temporal Logic for Program Specification

Inmaculada Perez de Guzmán, Manuel Enciso, Carlos Rossi, 1994, GULP-PRODE.

Canonical dichotomous direct bases

Pablo Cordero, Manuel Enciso, Estrella Rodríguez Lorenzo, 2017, Inf. Sci..

Bases via Minimal Generators

Manuel Ojeda-Aciego, Pablo Cordero, Manuel Enciso, 2013, FCA4AI@IJCAI.

Computing non-redundant sets of functional dependencies via simplification

Angel Mora, Pablo Cordero, Manuel Enciso, 2013, 2013 IEEE Symposium on Foundations of Computational Intelligence (FOCI).

SLFD Logic: Elimination of Data Redundancy in Knowledge Representation

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2002, IBERAMIA.

Just one approach for several temporal logics in Computing: the topological semantics

Manuel Enciso, Carlos Rossi, Inma P. de Guzmán, 2007 .

An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2003, CAEPIA.

A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD

Angel Mora, Pablo Cordero, Manuel Enciso, 2010, ICSOFT.

Teaching database design: A reverse engineering approach

Manuel Enciso, Enrique Soler, M. Enciso, 2013, 2013 IEEE Global Engineering Education Conference (EDUCON).

Concept lattices with negative information: A characterization theorem

Sebastian Rudolph, Pablo Cordero, Manuel Enciso, 2016, Inf. Sci..

FD3: A Functional Dependencies Data Dictionary

Angel Mora, Manuel Enciso, 2002, ICEIS.

Directness in Fuzzy Formal Concept Analysis

Angel Mora, Pablo Cordero, Manuel Enciso, 2018, IPMU.

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

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2006, Inteligencia Artif..

An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis

Rokia Missaoui, Manuel Enciso, Estrella Rodríguez Lorenzo, 2017, Int. J. Intell. Syst..

A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis

Angel Mora, Pablo Cordero, Manuel Enciso, 2014, CLA.

A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation

Manuel Enciso, Antonio Guevara, Carlos Rossi, 2016, ICSOFT.

Una forma normal temporal independiente del método de deducción

Inmaculada Perez de Guzmán, Manuel Enciso, Carlos Rossi, 2007, Inteligencia Artif..

An Approach to Visualize Implications

Angel Mora, Pablo Cordero, Manuel Enciso, 2019, ICFCA.

Improving Recommender Systems with Simplification Logic to Manage Implications with Grades

Angel Mora, Pablo Cordero, Manuel Enciso, 2013, ICSOFT.

CAISL: Simplification Logic for Conditional Attribute Implications

Rokia Missaoui, Pablo Cordero, Manuel Enciso, 2016, CLA.

Optimization in Engine Design via Formal Concept Analysis using Negative Attributes

Angel Mora, Pablo Cordero, Manuel Enciso, 2016 .

A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information

Angel Mora, Manuel Enciso, 2006, ICEIS.

Context-aware Recommendation using Fuzzy Formal Concept Analysis

Angel Mora, Pablo Cordero, Manuel Enciso, 2018, ICSOFT.

Specification and inference of fuzzy attributes

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2011, 2011 IEEE Symposium on Foundations of Computational Intelligence (FOCI).

A First Order Temporal Logic for Behavior Representation

Angel Mora, Manuel Enciso, Carlos Rossi, 2004, IBERAMIA.

Temporal Reasoning over Linear Discrete Time

Inmaculada Perez de Guzmán, Manuel Enciso, Carlos Rossi, 1996, JELIA.

A/D Case: A New Heart for FD3

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2004, ICEIS.

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2004, SBIA.

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

Angel Mora, Manuel Ojeda-Aciego, Pablo Cordero, 2015, Knowl. Based Syst..

A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2009, IWANN.

Executing Intensional Logic with the TAS Tool

Manuel Ojeda-Aciego, Inmaculada Perez de Guzmán, Manuel Enciso, 1996, APPIA-GULP-PRODE.

Reducing the search space by closure and simplification paradigms

Pablo Cordero, Manuel Enciso, Fernando Benito Picazo, 2016, The Journal of Supercomputing.

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

Angel Mora, Pablo Cordero, Inmaculada Perez de Guzmán, 2011, Int. J. Comput. Math..

The Direct-optimal Basis via Reductions

Karell Bertet, Angel Mora, Pablo Cordero, 2014, CLA.

An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data

Angel Mora, Vilém Vychodil, Radim Belohlávek, 2012, MDAI.

Automated prover for attribute dependencies in data with grades

Angel Mora, Vilém Vychodil, Radim Belohlávek, 2016, Int. J. Approx. Reason..

A New Kind of Implication to Reason with Unknown Information

Angel Mora, Pablo Cordero, Manuel Enciso, 2021, ICFCA.

Clustering and Identification of Core Implications

Angel Mora, Domingo López-Rodríguez, Pablo Cordero, 2021, ICFCA.

Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis

Angel Mora, Pablo Cordero, Manuel Enciso, 2016 .

Enhancing the conversational process by using a logical closure operator in phenotypes implications

Manuel Enciso, Antonio Guevara, Carlos Rossi, 2018 .