Manuel Enciso

Proceedings of the Formal Concept Analysis - 16th International Conference, 2021

2020

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

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2020

A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2020

A conversational recommender system for diagnosis using fuzzy rules.

[BibT_eX]

[DOI]

Domingo López-Rodríguez

Expert Syst. Appl., 2020

2019

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

[BibT_eX]

[DOI]

Fernando Benito Picazo

Francisco Javier López-González

J. Supercomput., 2019

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

[BibT_eX]

[DOI]

José Paredes-Pacheco

Karl Thurnhofer-Hemsi

Antonio L. Gutiérrez-Cardo

Núria Roé-Vellvé

Neuroinformatics, 2019

An Approach to Visualize Implications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2018

Directness in Fuzzy Formal Concept Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, 2018

2017

Reducing the search space by closure and simplification paradigms.

[BibT_eX]

[DOI]

Fernando Benito Picazo

J. Supercomput., 2017

Canonical dichotomous direct bases.

[BibT_eX]

[DOI]

Inf. Sci., 2017

An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2017

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

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2017

Fuzzy functional dependencies: A comparative survey.

[BibT_eX]

[DOI]

L. Jezková

Fuzzy Sets Syst., 2017

2016

Concept lattices with negative information: A characterization theorem.

[BibT_eX]

[DOI]

Sebastian Rudolph

Inf. Sci., 2016

Automated prover for attribute dependencies in data with grades.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2016

CAISL: Simplification Logic for Conditional Attribute Implications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2015

A Normal Form for Fuzzy Functional Dependencies.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

From an Implicational System to its Corresponding D-basis.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Concept Lattices and Their Applications, 2015

2014

A tableaux-like method to infer all minimal keys.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

Negative Attributes and Implications in Formal Concept Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fernando Benito Picazo

Proceedings of the ICSOFT-EA 2014, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

The Direct-optimal Basis via Reductions.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, 2014

2013

Automated Inference with Fuzzy Functional Dependencies over Graded Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2013

Automated Reasoning to Infer all Minimal Keys.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Bases via Minimal Generators.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 8th International Joint Conference, 2013

Context-aware Recommendation using Fuzzy Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

Quality Improvement in Data Models with SLFD-based OCL Constraints.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

Computing non-redundant sets of functional dependencies via simplification.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, 2013

Teaching database design: A reverse engineering approach.

[BibT_eX]

[DOI]

Enrique Soler

Proceedings of the IEEE Global Engineering Education Conference, 2013

Computing Left-Minimal Direct Basis of implications.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

2012

Closure via functional dependence simplification.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2012

An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data.

[BibT_eX]

[DOI]

Proceedings of the Modeling Decisions for Artificial Intelligence, 2012

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

[BibT_eX]

[DOI]

Antonio Guevara

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2011

An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies.

[BibT_eX]

[DOI]

Manuel Enciso García-Oliveros

Proceedings of the Advances in Computational Intelligence, 2011

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

[BibT_eX]

Angel Mora-Bonilla

Rosario Baena

Proceedings of the ICSOFT 2011, 2011

Specification and inference of fuzzy attributes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the ICSOFT 2010, 2010

2009

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

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

2008

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

[BibT_eX]

[DOI]

Discret. Appl. Math., 2008

2006

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

[BibT_eX]

[DOI]

Inteligencia Artif., 2006

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

[BibT_eX]

Proceedings of the ICEIS 2006, 2006

2004

Formalization of UML state machines using temporal logic.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2004

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

[BibT_eX]

[DOI]

Inteligencia Artif., 2004

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the ICEIS 2004, 2004

A First Order Temporal Logic for Behavior Representation.

[BibT_eX]

[DOI]