Pablo Cordero

124 papers A* 1B 3C 10Misc 4Journal 50Unranked 54
YearRankTypeTitle / Venue / Authors
2024 J jnl
Attribute implications with unknown information based on weak Heyting algebras.
Fuzzy Sets Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Francisco Pérez-Gámez
2023 J jnl
Fuzzy Algebras of Concepts.
Axioms
Manuel Ojeda-Hernández, Domingo López-Rodríguez, Pablo Cordero
2023 J jnl
Fuzzy closure structures as formal concepts II.
Fuzzy Sets Syst.
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2023 J jnl
Fuzzy closure structures as formal concepts.
Fuzzy Sets Syst.
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2023 J jnl
Fuzzy relational Galois connections between fuzzy transitive digraphs.
Fuzzy Sets Syst.
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
2023 Misc conf
On Pseudointents in Fuzzy Formal Concept Analysis.
ICCS
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2023 C conf
On the Commutative Diagrams Among Galois Connections Involved in Closure Structures.
ICFCA
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2023 J jnl
Simplification logic for the management of unknown information.
Inf. Sci.
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
2022 — conf
A Galois connection between partial formal contexts and attribute sets.
CLA
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
2022 — conf
Can FCA Provide a Framework for Artificial General Intelligence?
FCA4AI@IJCAI
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2022 — conf
Computing the Mixed Concept Lattice.
IPMU (1)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2022 — conf
Encoding Non-global Time Representations into the Lattice of Divisibility.
IPMU (1)
Francisco José Valverde Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2022 J jnl
Fuzzy closure relations.
Fuzzy Sets Syst.
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2022 — conf
Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection.
CLA
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2022 J jnl
Fuzzy closure systems: Motivation, definition and properties.
Int. J. Approx. Reason.
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2022 — conf
On the Affordance-Theoretic bases of the Landscape of Knowledge Paradigm.
CLA
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2022 — conf
On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs.
IPMU (1)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
2022 J jnl
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way.
IEEE Trans. Fuzzy Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2022 — conf
Partial formal contexts with degrees.
CLA
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2022 — ed.
Proceedings of the Sixteenth International Conference on Concept Lattices and Their Applications (CLA 2022) Tallinn, Estonia, June 20-22, 2022., Tallinn, Estonia, June 20-22, 2022.
CLA
Pablo Cordero, Ondrej Krídlo
2022 J jnl
Protein language model rescue mutations highlight variant effects and structure in clinically relevant genes.
CoRR
Onuralp Soylemez, Pablo Cordero
2022 J jnl
Quasi-closed elements in fuzzy posets.
J. Comput. Appl. Math.
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero
2022 — conf
Relational Extension of Closure Structures.
IPMU (1)
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2022 — ch.
Scalable Visual Analytics in FCA.
Complex Data Analytics with Formal Concept Analysis
Tim Pattison, Manuel Enciso, Ángel Mora, Pablo Cordero, Derek Weber, Michael Broughton
2022 J jnl
fcaR, Formal Concept Analysis with R.
R J.
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2022 — conf
fcaR, Spreading FCA to the Data Science World.
CLA
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2021 C conf
A New Kind of Implication to Reason with Unknown Information.
ICFCA
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Ángel Mora
2021 — conf
Closure Systems as a Fuzzy Extension of Meet-subsemilattices.
IFSA/EUSFLAT/AGOP
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2021 C conf
Clustering and Identification of Core Implications.
ICFCA
Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Ángel Mora
2021 — conf
How to provide light to COVID data by means of FCA.
RealDataFCA@ICFCA
Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Ángel Mora
2021 B conf
On (fuzzy) closure systems in complete fuzzy lattices.
FUZZ-IEEE
Manuel Ojeda-Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco
2020 J jnl
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation.
Int. J. Comput. Intell. Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
2020 J jnl
A conversational recommender system for diagnosis using fuzzy rules.
Expert Syst. Appl.
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2020 — conf
Exploratory Data Analysis of Multi-label Classification Tasks with Formal Context Analysis.
CLA
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2020 — conf
Galois Connections Between Unbalanced Structures in a Fuzzy Framework.
IPMU (3)
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2020 J jnl
Parameterized simplification logic I: reasoning with implications and classes of closure operators.
Int. J. Gen. Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2020 J jnl
Relational Galois connections between transitive digraphs: Characterization and construction.
Inf. Sci.
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Bernard De Baets
2019 C conf
A Relational Extension of Galois Connections.
ICFCA
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2019 — conf
An Approach to Visualize Implications.
ICFCA (Supplements)
Pablo Cordero, Manuel Enciso, Ángel Mora, Pablo Gomez González
2019 — conf
Formal Equivalence Analysis.
EUSFLAT Conf.
Francisco José Valverde Albacete, Carmen Peláez-Moreno, Pablo Cordero, Manuel Ojeda-Aciego
2019 J jnl
Minimal generators, an affordable approach by means of massive computation.
J. Supercomput.
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
2019 C conf
Simplifying Inductive Schemes in Temporal Logic.
TIME
Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez
2019 — conf
Towards fuzzy relational Galois connections between fuzzy T-digraphs.
EUSFLAT Conf.
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2018 — conf
A Data Analysis Application of Formal Independence Analysis.
CLA
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2018 J jnl
Direct-optimal basis computation by means of the fusion of simplification rules.
Discret. Appl. Math.
Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora
2018 — conf
Directness in Fuzzy Formal Concept Analysis.
IPMU (1)
Pablo Cordero, Manuel Enciso, Ángel Mora
2018 — conf
Formal Independence Analysis.
IPMU (1)
Francisco J. Valverde-Albacete, Carmen Peláez-Moreno, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2018 J jnl
Galois Connections Between a Fuzzy Preordered Structure and a General Fuzzy Structure.
IEEE Trans. Fuzzy Syst.
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets
2018 — conf
Towards Simplification Logic for Graded Attribute Implications with General Semantics.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2017 J jnl
An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis.
Int. J. Intell. Syst.
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora
2017 J jnl
Canonical dichotomous direct bases.
Inf. Sci.
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora
2017 J jnl
Formation of the D-basis from implicational systems using Simplification logic.
Int. J. Gen. Syst.
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora
2017 J jnl
Fuzzy functional dependencies: A comparative survey.
Fuzzy Sets Syst.
L. Jezková, Pablo Cordero, Manuel Enciso
2017 — conf
Galois connections in computational intelligence: A short survey.
SSCI
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2017 J jnl
On the construction of adjunctions between a fuzzy preposet and an unstructured set.
Fuzzy Sets Syst.
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets
2017 J jnl
Reducing the search space by closure and simplification paradigms.
J. Supercomput.
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
2017 — conf
Relational fuzzy Galois connections.
IFSA-SCIS
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2017 B conf
Towards relational fuzzy adjunctions.
FUZZ-IEEE
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2017 Misc conf
Tracing Co-Regulatory Network Dynamics in Noisy, Single-Cell Transcriptome Trajectories.
PSB
Pablo Cordero, Joshua M. Stuart
2016 J jnl
Automated prover for attribute dependencies in data with grades.
Int. J. Approx. Reason.
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2016 — conf
CAISL: Simplification Logic for Conditional Attribute Implications.
CLA
Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Rokia Missaoui, Ángel Mora
2016 J jnl
Concept lattices with negative information: A characterization theorem.
Inf. Sci.
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
2016 — conf
On fuzzy relations, adjunctions, and functional fuzzy relations.
SSCI
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2016 — conf
On the Existence of Right Adjoints for Surjective Mappings between Fuzzy Structures.
CLA
Inma P. Cabrera, Pablo Cordero, Francisca García-Pardo, Manuel Ojeda-Aciego, Bernard De Baets
2015 — conf
A Normal Form for Fuzzy Functional Dependencies.
SSCI
José Manuel Rodríguez-Jiménez, Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Ángel Mora
2015 — conf
From an Implicational System to its Corresponding D-basis.
CLA
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora
2015 J jnl
Knowledge discovery in social networks by using a logic-based treatment of implications.
Knowl. Based Syst.
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego, Carlos Rossi
2015 C conf
On Closure Systems and Adjunctions Between Fuzzy Preordered Sets.
ICFCA
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2015 — conf
On Fuzzy Preordered Sets and Monotone Galois Connections.
SSCI
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2015 J jnl
Primerize: automated primer assembly for transcribing non-coding RNA domains.
Nucleic Acids Res.
Siqi Tian, Joseph D. Yesselman, Pablo Cordero, Rhiju Das
2015 J jnl
Rich RNA Structure Landscapes Revealed by Mutate-and-Map Analysis.
PLoS Comput. Biol.
Pablo Cordero, Rhiju Das
2014 — conf
A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis.
CLA
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora
2014 J jnl
A tableaux-like method to infer all minimal keys.
Log. J. IGPL
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2014 — conf
Generating Isotone Galois Connections on an Unstructured Codomain.
IPMU (3)
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez
2014 — conf
Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism.
ICSOFT EA
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
2014 — conf
Negative Attributes and Implications in Formal Concept Analysis.
ITQM
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora
2014 — conf
On Adjunctions between Fuzzy Preordered Sets: Necessary Conditions.
RSCTC
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2014 J jnl
On residuation in multilattices: Filters, congruences, and homomorphisms.
Fuzzy Sets Syst.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2014 C conf
On the Existence of Isotone Galois Connections between Preorders.
ICFCA
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez
2014 J jnl
On the definition of suitable orderings to generate adjunctions over an unstructured codomain.
Inf. Sci.
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego, Francisco J. Rodríguez-Sanchez
2014 — conf
The Direct-optimal Basis via Reductions.
CLA
Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Ángel Mora
2013 — conf
Automated Inference with Fuzzy Functional Dependencies over Graded Data.
IWANN (2)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Ángel Mora
2013 A* conf
Automated Reasoning to Infer all Minimal Keys.
IJCAI
Pablo Cordero, Manuel Enciso, Ángel Mora
2013 — conf
Bases via Minimal Generators.
FCA4AI@IJCAI
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2013 — conf
Computing Left-Minimal Direct Basis of implications.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2013 — conf
Computing non-redundant sets of functional dependencies via simplification.
FOCI
Pablo Cordero, Manuel Enciso, Ángel Mora, José Manuel Rodríguez-Jiménez
2013 C conf
Context-aware Recommendation using Fuzzy Formal Concept Analysis.
ICSOFT
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara
2013 J jnl
HiTRACE-Web: an online tool for robust analysis of high-throughput capillary electrophoresis.
Nucleic Acids Res.
Hanjoo Kim, Pablo Cordero, Rhiju Das, Sungroh Yoon
2013 — conf
Improving Recommender Systems with Simplification Logic to Manage Implications with Grades.
ICSOFT (Selected Papers)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora, Antonio Guevara
2013 — conf
On Galois Connections and Soft Computing.
IWANN (2)
Francisca García-Pardo, Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2013 C conf
Quality Improvement in Data Models with
ICSOFT
Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Ángel Mora
2012 B conf
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data.
MDAI
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Ángel Mora, Vilém Vychodil
2012 J jnl
An RNA Mapping DataBase for curating RNA structure mapping experiments.
Bioinform.
Pablo Cordero, Julius B. Lucks, Rhiju Das
2012 J jnl
Closure via functional dependence simplification.
Int. J. Comput. Math.
Ángel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
2012 — conf
Computing Minimal Generators from Implications: a Logic-guided Approach.
CLA
Pablo Cordero, Manuel Enciso, Ángel Mora, Manuel Ojeda-Aciego
2012 J jnl
Finitary coalgebraic multisemilattices and multilattices.
Appl. Math. Comput.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2012 Misc conf
Interpretome: A Freely Available, Modular, and Secure Personal Genome Interpretation Engine.
Pacific Symposium on Biocomputing
Konrad J. Karczewski, Robert P. Tirrell, Pablo Cordero, Nicholas P. Tatonetti, Joel T. Dudley, Keyan Salari, Michael Snyder, Russ B. Altman, Stuart K. Kim
2011 — conf
A Claim to Incorporate Functional Dependencies in Development Tools - Benchmarking and Checking Functional Dependencies Algorithms.
ICSOFT (1)
Manuel Enciso García-Oliveros, Angel Mora-Bonilla, Pablo Cordero, Rosario Baena
2011 — conf
An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies.
IWANN (2)
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez
2011 J jnl
Ideal non-deterministic operators as a formal framework to reduce the key finding problem.
Int. J. Comput. Math.
Ángel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero
2011 — conf
Non-deterministic Algebraic Structures for Soft Computing.
IWANN (2)
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2011 — conf
Specification and inference of fuzzy attributes.
FOCI
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez
2011 J jnl
The Stanford RNA Mapping Database for sharing and visualizing RNA structure mapping experiments
CoRR
Pablo Cordero, Julius B. Lucks, Rhiju Das
2010 — conf
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD.
ICSOFT (2)
Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Ángel Mora, Pablo Cordero
2010 J jnl
A coalgebraic approach to non-determinism: Applications to multilattices.
Inf. Sci.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 — conf
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations.
IWANN (1)
Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2009 J jnl
Congruence relations on some hyperstructures.
Ann. Math. Artif. Intell.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 — conf
Fuzzy Logic, Soft Computing, and Applications.
IWANN (1)
Inma P. Cabrera, Pablo Cordero, Manuel Ojeda-Aciego
2009 J jnl
Fuzzy congruence relations on nd-groupoids.
Int. J. Comput. Math.
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2009 C conf
On Congruences and Homomorphisms on Some Non-deterministic Algebras.
IJCCI
Inma P. Cabrera, Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Manuel Ojeda-Aciego
2008 J jnl
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases.
Discret. Appl. Math.
Pablo Cordero, Ángel Mora, Inman P. de Guzmán, Manuel Enciso
2006 J jnl
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Inteligencia Artif.
Ángel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
2006 — conf
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
IBERAMIA-SBIA
Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
2005 J jnl
Generalizations of lattices via non-deterministic operators.
Discret. Math.
Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero
2004 J jnl
A New Algebraic Tool for Automatic Theorem Provers.
Ann. Math. Artif. Intell.
Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán
2004 — conf
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.
SBIA
Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán
2004 — conf
A/D Case: A New Heart for FD3.
ICEIS (1)
Ángel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
2003 — conf
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm.
CAEPIA
Ángel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
2003 J jnl
Restricted ideals and the groupability property. Tools for temporal reasoning.
Kybernetika
Javier Martínez, Pablo Cordero, Gloria Gutiérrez, Inman P. de Guzmán
2002 J jnl
Bases for closed sets of implicants and implicates in temporal logic.
Acta Informatica
Pablo Cordero, Manuel Enciso, Inman P. de Guzmán
2002 J jnl
From the Poset of Temporal Implicates/implicants to a Temporal Negative Form.
Reports Math. Log.
Pablo Cordero, Manuel Enciso, Inmaculada Perez de Guzmán
2002 — conf
SL
IBERAMIA
Pablo Cordero, Manuel Enciso, Ángel Mora, Inman P. de Guzmán
2000 J jnl
A temporal negative normal form which preserves implicants and implicates.
J. Appl. Non Class. Logics
Inman P. de Guzmán, Manuel Enciso, Pablo Cordero
1999 Misc conf
Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.
EPIA
Inman P. de Guzmán, Pablo Cordero, Manuel Enciso