Ángel Mora

71 papers A* 1B 2C 4Journal 28Unranked 35
YearRankTypeTitle / Venue / Authors
2025 J jnl
Close-by-One-like algorithms in the fuzzy setting: Theory and experimentation.
Fuzzy Sets Syst.
Domingo López-Rodríguez, Manuel Ojeda-Hernández, Ángel Mora, Carlos Bejines
2024 J jnl
A Formal Concept Analysis approach to hierarchical description of malware threats.
Forensic Sci. Int. Digit. Investig.
Manuel Ojeda-Hernández, Domingo López-Rodríguez, Ángel Mora
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
Lexicon-based sentiment analysis in texts using Formal Concept Analysis.
Int. J. Approx. Reason.
Manuel Ojeda-Hernández, Domingo López-Rodríguez, Ángel Mora
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
Computing the Mixed Concept Lattice.
IPMU (1)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Ángel Mora
2022 J jnl
Minimal Generators from Positive and Negative Attributes: Analysing the Knowledge Space of a Mathematics Course.
Int. J. Comput. Intell. Syst.
Manuel Ojeda-Hernández, Francisco Pérez-Gámez, Domingo López-Rodríguez, Nicolás Madrid, Ángel Mora
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 — conf
Revisiting Algorithms for Fuzzy Concept Lattices.
CLA
Domingo López-Rodríguez, Ángel Mora, Manuel Ojeda-Hernández
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 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
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 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
2019 — conf
An Approach to Visualize Implications.
ICFCA (Supplements)
Pablo Cordero, Manuel Enciso, Ángel Mora, Pablo Gomez González
2019 J jnl
Minimal generators, an affordable approach by means of massive computation.
J. Supercomput.
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
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
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
Reducing the search space by closure and simplification paradigms.
J. Supercomput.
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Ángel Mora
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
Tableau reductions: Towards an optimal decision procedure for the modal necessity.
J. Appl. Log.
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora
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
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
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
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 — conf
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K.
SOCO-CISIS-ICEUTE
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora
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 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
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
2011 J jnl
A new deduction system for deciding validity in modal logic K.
Log. J. IGPL
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora
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 J jnl
Implementing a relational theorem prover for modal logic.
Int. J. Comput. Math.
Ángel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek
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
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 — conf
Improving Moodle with WIRIS and M-QIT.
ICEIS (4)
Ángel Mora, Enrique Mérida Casermeiro, Domingo López-Rodríguez
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
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning.
Int. J. Comput. Math.
Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska
2008 B conf
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.
PRICAI
Joanna Golinska-Pilarek, Ángel Mora, Emilio Muñoz-Velasco
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 — conf
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information.
ICEIS (1)
Ángel Mora, 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
2004 — conf
A First Order Temporal Logic for Behavior Representation.
IBERAMIA
Carlos Rossi, Manuel Enciso, Ángel Mora
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
2002 — conf
FD3: A Functional Dependencies Data Dictionary.
ICEIS
Manuel Enciso, Ángel Mora
2002 — conf
SL
IBERAMIA
Pablo Cordero, Manuel Enciso, Ángel Mora, Inman P. de Guzmán