Manuel Enciso

Orcid: 0000-0002-0531-4055

Affiliations:
  • University of Málaga, Spain


According to our database1, Manuel Enciso authored at least 74 papers between 1994 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Attribute implications with unknown information based on weak Heyting algebras.
Fuzzy Sets Syst., 2024

2023
Simplification logic for the management of unknown information.
Inf. Sci., July, 2023

2022
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way.
IEEE Trans. Fuzzy Syst., 2022

fcaR, Formal Concept Analysis with R.
R J., 2022

Computing the Mixed Concept Lattice.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

Partial formal contexts with degrees.
Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

A Galois connection between partial formal contexts and attribute sets.
Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

fcaR, Spreading FCA to the Data Science World.
Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

Scalable Visual Analytics in FCA.
Proceedings of the Complex Data Analytics with Formal Concept Analysis, 2022

2021
A New Kind of Implication to Reason with Unknown Information.
Proceedings of the Formal Concept Analysis - 16th International Conference, 2021

How to provide light to COVID data by means of FCA.
Proceedings of the Workshop Analyzing Real Data with Formal Concept Analysis co-located with 16th International Conference on Formal Concept Analysis (ICFCA 2021), 2021

Clustering and Identification of Core Implications.
Proceedings of the Formal Concept Analysis - 16th International Conference, 2021

2020
Parameterized simplification logic I: reasoning with implications and classes of closure operators.
Int. J. Gen. Syst., 2020

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.
Int. J. Comput. Intell. Syst., 2020

A conversational recommender system for diagnosis using fuzzy rules.
Expert Syst. Appl., 2020

2019
Minimal generators, an affordable approach by means of massive computation.
J. Supercomput., 2019

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

An Approach to Visualize Implications.
Proceedings of the Supplementary Proceedings of ICFCA 2019 Conference and Workshops, 2019

2018
Direct-optimal basis computation by means of the fusion of simplification rules.
Discret. Appl. Math., 2018

Directness in Fuzzy Formal Concept Analysis.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 2018

Towards Simplification Logic for Graded Attribute Implications with General Semantics.
Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, 2018

2017
Reducing the search space by closure and simplification paradigms.
J. Supercomput., 2017

Canonical dichotomous direct bases.
Inf. Sci., 2017

An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis.
Int. J. Intell. Syst., 2017

Formation of the D-basis from implicational systems using Simplification logic.
Int. J. Gen. Syst., 2017

Fuzzy functional dependencies: A comparative survey.
Fuzzy Sets Syst., 2017

2016
Concept lattices with negative information: A characterization theorem.
Inf. Sci., 2016

Automated prover for attribute dependencies in data with grades.
Int. J. Approx. Reason., 2016

CAISL: Simplification Logic for Conditional Attribute Implications.
Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016

2015
Knowledge discovery in social networks by using a logic-based treatment of implications.
Knowl. Based Syst., 2015

A Normal Form for Fuzzy Functional Dependencies.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

From an Implicational System to its Corresponding D-basis.
Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015

2014
A tableaux-like method to infer all minimal keys.
Log. J. IGPL, 2014

Negative Attributes and Implications in Formal Concept Analysis.
Proceedings of the Second International Conference on Information Technology and Quantitative Management, 2014

Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism.
Proceedings of the ICSOFT-EA 2014, 2014

A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis.
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

The Direct-optimal Basis via Reductions.
Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

2013
Automated Inference with Fuzzy Functional Dependencies over Graded Data.
Proceedings of the Advances in Computational Intelligence, 2013

Automated Reasoning to Infer all Minimal Keys.
Proceedings of the IJCAI 2013, 2013

Bases via Minimal Generators.
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), 2013

Improving Recommender Systems with Simplification Logic to Manage Implications with Grades.
Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Context-aware Recommendation using Fuzzy Formal Concept Analysis.
Proceedings of the ICSOFT 2013, 2013

Quality Improvement in Data Models with <i>SL</i><sub>FD</sub>-based OCL Constraints.
Proceedings of the ICSOFT 2013, 2013

Computing non-redundant sets of functional dependencies via simplification.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2013

Teaching database design: A reverse engineering approach.
Proceedings of the IEEE Global Engineering Education Conference, 2013

Computing Left-Minimal Direct Basis of implications.
Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

2012
Closure via functional dependence simplification.
Int. J. Comput. Math., 2012

An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation.
Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Computing Minimal Generators from Implications: a Logic-guided Approach.
Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, 2012

2011
Ideal non-deterministic operators as a formal framework to reduce the key finding problem.
Int. J. Comput. Math., 2011

An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies.
Proceedings of the Advances in Computational Intelligence, 2011

A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms.
Proceedings of the ICSOFT 2011, 2011

Specification and inference of fuzzy attributes.
Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2011

2010
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD.
Proceedings of the ICSOFT 2010, 2010

2009
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

2008
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases.
Discret. Appl. Math., 2008

2006
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Inteligencia Artif., 2006

A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information.
Proceedings of the ICEIS 2006, 2006

2004
Formalization of UML state machines using temporal logic.
Softw. Syst. Model., 2004

Una forma normal temporal independiente del método de deducción.
Inteligencia Artif., 2004

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

A/D Case: A New Heart for FD3.
Proceedings of the ICEIS 2004, 2004

A First Order Temporal Logic for Behavior Representation.
Proceedings of the Advances in Artificial Intelligence, 2004

2003
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.
Proceedings of the Current Topics in Artificial Intelligence, 2003

2002
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form.
Reports Math. Log., 2002

Bases for closed sets of implicants and implicates in temporal logic.
Acta Informatica, 2002

FD3: A Functional Dependencies Data Dictionary.
Proceedings of the ICEIS 2002, 2002

SL<sub>FD</sub> Logic: Elimination of Data Redundancy in Knowledge Representation.
Proceedings of the Advances in Artificial Intelligence, 2002

2000
A temporal negative normal form which preserves implicants and implicates.
J. Appl. Non Class. Logics, 2000

1999
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.
Proceedings of the Progress in Artificial Intelligence, 1999

1996
Temporal Reasoning over Linear Discrete Time.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Executing Intensional Logic with the TAS Tool.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1994
A Temporal Logic for Program Specification.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...