Pablo Cordero

According to our database1, Pablo Cordero
  • authored at least 74 papers between 1999 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Reducing the search space by closure and simplification paradigms.
The Journal of Supercomputing, 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. General Systems, 2017

Fuzzy functional dependencies: A comparative survey.
Fuzzy Sets and Systems, 2017

On the construction of adjunctions between a fuzzy preposet and an unstructured set.
Fuzzy Sets and Systems, 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. Reasoning, 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 Computational Biology, 2015

Primerize: automated primer assembly for transcribing non-coding RNA domains.
Nucleic Acids Research, 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.
Logic Journal of the IGPL, 2014

On residuation in multilattices: Filters, congruences, and homomorphisms.
Fuzzy Sets and Systems, 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 Research, 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 SLFD-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.
Bioinformatics, 2012

Finitary coalgebraic multisemilattices and multilattices.
Applied Mathematics and Computation, 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.
Discrete Applied Mathematics, 2008

2006
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 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.
Discrete Mathematics, 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 on Mathematical Logic, 2002

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

SLFD 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.
Journal of Applied Non-Classical Logics, 2000

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


  Loading...