Pablo Cordero

Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

Partial formal contexts with degrees.

[BibT_eX]

[DOI]

Francisco Pérez-Gámez

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.

[BibT_eX]

[DOI]

Francisco Pérez-Gámez

Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection.

[BibT_eX]

[DOI]

Manuel Ojeda-Hernández

Emilio Muñoz-Velasco

Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

fcaR, Spreading FCA to the Data Science World.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 2022

Scalable Visual Analytics in FCA.

[BibT_eX]

[DOI]

Proceedings of the Complex Data Analytics with Formal Concept Analysis, 2022

2021

A New Kind of Implication to Reason with Unknown Information.

[BibT_eX]

[DOI]

Francisco Pérez-Gámez

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

How to provide light to COVID data by means of FCA.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

On (fuzzy) closure systems in complete fuzzy lattices.

[BibT_eX]

[DOI]

Manuel Ojeda-Hernández

Emilio Muñoz-Velasco

Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

2020

Relational Galois connections between transitive digraphs: Characterization and construction.

[BibT_eX]

[DOI]

Inf. Sci., 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]

Expert Syst. Appl., 2020

Galois Connections Between Unbalanced Structures in a Fuzzy Framework.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

Exploratory Data Analysis of Multi-label Classification Tasks with Formal Context Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fifthteenth International Conference on Concept Lattices and Their Applications, 2020

2019

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

[BibT_eX]

[DOI]

Fernando Benito Picazo

J. Supercomput., 2019

Simplifying Inductive Schemes in Temporal Logic.

[BibT_eX]

[DOI]

Inmaculada Fortes

Francisco José Valverde Albacete

Sixto Sánchez

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

An Approach to Visualize Implications.

[BibT_eX]

[DOI]

Proceedings of the Supplementary Proceedings of ICFCA 2019 Conference and Workshops, 2019

A Relational Extension of Galois Connections.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis - 15th International Conference, 2019

Towards fuzzy relational Galois connections between fuzzy T-digraphs.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

Formal Equivalence Analysis.

[BibT_eX]

[DOI]

Carmen Peláez-Moreno

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018

Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure.

[BibT_eX]

[DOI]

Bernard De Baets

IEEE Trans. Fuzzy Syst., 2018

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

[BibT_eX]

[DOI]

Discret. Appl. Math., 2018

Formal Independence Analysis.

[BibT_eX]

[DOI]

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations, 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

A Data Analysis Application of Formal Independence Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, 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

On the construction of adjunctions between a fuzzy preposet and an unstructured set.

[BibT_eX]

[DOI]

Bernard De Baets

Fuzzy Sets Syst., 2017

Galois connections in computational intelligence: A short survey.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Tracing Co-Regulatory Network Dynamics in Noisy, Single-Cell Transcriptome Trajectories.

[BibT_eX]

[DOI]

Joshua M. Stuart

Proceedings of the Biocomputing 2017: Proceedings of the Pacific Symposium, 2017

Relational fuzzy Galois connections.

[BibT_eX]

[DOI]

Proceedings of the Joint 17th World Congress of International Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems, 2017

Towards relational fuzzy adjunctions.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 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

On fuzzy relations, adjunctions, and functional fuzzy relations.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

CAISL: Simplification Logic for Conditional Attribute Implications.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016

On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures.

[BibT_eX]

[DOI]

Bernard De Baets

Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016

2015

Rich RNA Structure Landscapes Revealed by Mutate-and-Map Analysis.

[BibT_eX]

[DOI]

Rhiju Das

PLoS Comput. Biol., 2015

Primerize: automated primer assembly for transcribing non-coding RNA domains.

[BibT_eX]

[DOI]

Nucleic Acids Res., 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

On Fuzzy Preordered Sets and Monotone Galois Connections.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

On Closure Systems and Adjunctions Between Fuzzy Preordered Sets.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis - 13th International Conference, 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

On the definition of suitable orderings to generate adjunctions over an unstructured codomain.

[BibT_eX]

[DOI]

Francisco J. Rodríguez-Sanchez

Inf. Sci., 2014

A tableaux-like method to infer all minimal keys.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

On residuation in multilattices: Filters, congruences, and homomorphisms.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2014

On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Current Trends in Computing, 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

Generating Isotone Galois Connections on an Unstructured Codomain.

[BibT_eX]

[DOI]

Francisco J. Rodríguez-Sanchez

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 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

On the Existence of Isotone Galois Connections between Preorders.

[BibT_eX]

[DOI]

Francisco J. Rodríguez-Sanchez

Proceedings of the Formal Concept Analysis - 12th International Conference, 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

HiTRACE-Web: an online tool for robust analysis of high-throughput capillary electrophoresis.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2013

Automated Inference with Fuzzy Functional Dependencies over Graded Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2013

On Galois Connections and Soft Computing.

[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

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 RNA Mapping DataBase for curating RNA structure mapping experiments.

[BibT_eX]

[DOI]

Julius B. Lucks

Rhiju Das

Bioinform., 2012

Finitary coalgebraic multisemilattices and multilattices.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2012

Interpretome: A Freely Available, Modular, and Secure Personal Genome Interpretation Engine.

[BibT_eX]

[DOI]

Konrad J. Karczewski

Robert P. Tirrell

Nicholas P. Tatonetti

Proceedings of the Biocomputing 2012: Proceedings of the Pacific Symposium, 2012

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

[BibT_eX]

[DOI]

Proceedings of the Modeling Decisions for Artificial Intelligence, 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

The Stanford RNA Mapping Database for sharing and visualizing RNA structure mapping experiments

[BibT_eX]

[DOI]

Julius B. Lucks

Rhiju Das

CoRR, 2011

An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2011

Non-deterministic Algebraic Structures for Soft Computing.

[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 coalgebraic approach to non-determinism: Applications to multilattices.

[BibT_eX]

[DOI]

Inf. Sci., 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

Fuzzy congruence relations on nd-groupoids.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2009

Congruence relations on some hyperstructures.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 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

Fuzzy Logic, Soft Computing, and Applications.

[BibT_eX]

[DOI]

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

On Congruences and Homomorphisms on Some Non-deterministic Algebras.

[BibT_eX]

Proceedings of the IJCCI 2009, 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

MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.

[BibT_eX]

[DOI]

Gabriel Aguilera

Alfredo Burrieza

Emilio Muñoz-Velasco

Proceedings of the Advances in Artificial Intelligence, 2006

2005

Generalizations of lattices via non-deterministic operators.

[BibT_eX]

[DOI]

Javier Martínez

Gloria Gutiérrez

Discret. Math., 2005

2004

A New Algebraic Tool for Automatic Theorem Provers.

[BibT_eX]

[DOI]

Gloria Gutiérrez

Javier Martínez

Ann. Math. Artif. Intell., 2004

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

[BibT_eX]

[DOI]