Pablo Cordero

Orcid: 0000-0002-5506-6467

According to our database1, Pablo Cordero authored at least 120 papers between 1999 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Fuzzy closure structures as formal concepts II.
Fuzzy Sets Syst., December, 2023

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

Fuzzy closure structures as formal concepts.
Fuzzy Sets Syst., July, 2023

Fuzzy relational Galois connections between fuzzy transitive digraphs.
Fuzzy Sets Syst., July, 2023

Fuzzy Algebras of Concepts.
Axioms, April, 2023

On the Commutative Diagrams Among Galois Connections Involved in Closure Structures.
Proceedings of the Formal Concept Analysis - 17th International Conference, 2023

On Pseudointents in Fuzzy Formal Concept Analysis.
Proceedings of the Graph-Based Representation and Reasoning, 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

Quasi-closed elements in fuzzy posets.
J. Comput. Appl. Math., 2022

Fuzzy closure systems: Motivation, definition and properties.
Int. J. Approx. Reason., 2022

Fuzzy closure relations.
Fuzzy Sets Syst., 2022

Protein language model rescue mutations highlight variant effects and structure in clinically relevant genes.
CoRR, 2022

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

Relational Extension of Closure Structures.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

Encoding Non-global Time Representations into the Lattice of Divisibility.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022

Can FCA Provide a Framework for Artificial General Intelligence?
Proceedings of the 10th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

On the Affordance-Theoretic bases of the Landscape of Knowledge Paradigm.
Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, 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

Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection.
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

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

On (fuzzy) closure systems in complete fuzzy lattices.
Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

2020
Relational Galois connections between transitive digraphs: Characterization and construction.
Inf. Sci., 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

Galois Connections Between Unbalanced Structures in a Fuzzy Framework.
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.
Proceedings of the Fifthteenth International Conference on Concept Lattices and Their Applications, 2020

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

Simplifying Inductive Schemes in Temporal Logic.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

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

A Relational Extension of Galois Connections.
Proceedings of the Formal Concept Analysis - 15th International Conference, 2019

Towards fuzzy relational Galois connections between fuzzy T-digraphs.
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

Formal Equivalence Analysis.
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.
IEEE Trans. Fuzzy Syst., 2018

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

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

Directness in Fuzzy Formal Concept Analysis.
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.
Proceedings of the Fourteenth International Conference on Concept Lattices and Their Applications, 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

On the construction of adjunctions between a fuzzy preposet and an unstructured set.
Fuzzy Sets Syst., 2017

Galois connections in computational intelligence: A short survey.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

Tracing Co-Regulatory Network Dynamics in Noisy, Single-Cell Transcriptome Trajectories.
Proceedings of the Biocomputing 2017: Proceedings of the Pacific Symposium, 2017

Relational fuzzy Galois connections.
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.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 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

On fuzzy relations, adjunctions, and functional fuzzy relations.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

CAISL: Simplification Logic for Conditional Attribute Implications.
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.
Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, 2016

2015
Rich RNA Structure Landscapes Revealed by Mutate-and-Map Analysis.
PLoS Comput. Biol., 2015

Primerize: automated primer assembly for transcribing non-coding RNA domains.
Nucleic Acids Res., 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

On Fuzzy Preordered Sets and Monotone Galois Connections.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

On Closure Systems and Adjunctions Between Fuzzy Preordered Sets.
Proceedings of the Formal Concept Analysis - 13th International Conference, 2015

From an Implicational System to its Corresponding D-basis.
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.
Inf. Sci., 2014

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

On residuation in multilattices: Filters, congruences, and homomorphisms.
Fuzzy Sets Syst., 2014

On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions.
Proceedings of the Rough Sets and Current Trends in Computing, 2014

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

Generating Isotone Galois Connections on an Unstructured Codomain.
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.
Proceedings of the ICSOFT-EA 2014, 2014

On the Existence of Isotone Galois Connections between Preorders.
Proceedings of the Formal Concept Analysis - 12th International Conference, 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
HiTRACE-Web: an online tool for robust analysis of high-throughput capillary electrophoresis.
Nucleic Acids Res., 2013

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

On Galois Connections and Soft Computing.
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

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

Finitary coalgebraic multisemilattices and multilattices.
Appl. Math. Comput., 2012

Interpretome: A Freely Available, Modular, and Secure Personal Genome Interpretation Engine.
Proceedings of the Biocomputing 2012: Proceedings of the Pacific Symposium, 2012

An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data.
Proceedings of the Modeling Decisions for Artificial Intelligence, 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

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

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

Non-deterministic Algebraic Structures for Soft Computing.
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 coalgebraic approach to non-determinism: Applications to multilattices.
Inf. Sci., 2010

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

2009
Fuzzy congruence relations on nd-groupoids.
Int. J. Comput. Math., 2009

Congruence relations on some hyperstructures.
Ann. Math. Artif. Intell., 2009

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

Fuzzy Logic, Soft Computing, and Applications.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

On Congruences and Homomorphisms on Some Non-deterministic Algebras.
Proceedings of the IJCCI 2009, 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

MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
Proceedings of the Advances in Artificial Intelligence, 2006

2005
Generalizations of lattices via non-deterministic operators.
Discret. Math., 2005

2004
A New Algebraic Tool for Automatic Theorem Provers.
Ann. Math. Artif. Intell., 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

2003
Restricted ideals and the groupability property. Tools for temporal reasoning.
Kybernetika, 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

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


  Loading...