Angel Mora

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 13

Top Topics

Galois Lattices

Functional Dependencies

Top Venues

Int. J. Gen. Syst.

Publications

Domingo López-Rodríguez, Pablo Cordero, Manuel Enciso, Angel Mora
Clustering and Identification of Core Implications. ICFCA (2021)
Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Angel Mora
A New Kind of Implication to Reason with Unknown Information. ICFCA (2021)
Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Parameterized simplification logic I: reasoning with implications and classes of closure operators. Int. J. Gen. Syst. 49 (7) (2020)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego, Carlos Rossi
A Formal Concept Analysis Approach to Cooperative Conversational Recommendation. Int. J. Comput. Intell. Syst. 13 (1) (2020)
Pablo Cordero, Manuel Enciso, Domingo López-Rodríguez, Angel Mora
A conversational recommender system for diagnosis using fuzzy rules. Expert Syst. Appl. 154 (2020)
Pablo Cordero, Manuel Enciso, Angel Mora, Pablo Gomez González
An Approach to Visualize Implications. ICFCA (Supplements) (2019)
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora
Minimal generators, an affordable approach by means of massive computation. J. Supercomput. 75 (3) (2019)
Pablo Cordero, Manuel Enciso, Angel Mora
Directness in Fuzzy Formal Concept Analysis. IPMU (1) (2018)
Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Towards Simplification Logic for Graded Attribute Implications with General Semantics. CLA (2018)
Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Angel Mora
Direct-optimal basis computation by means of the fusion of simplification rules. Discret. Appl. Math. 249 (2018)
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora
Formation of the D-basis from implicational systems using Simplification logic. Int. J. Gen. Syst. 46 (5) (2017)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
Tableau reductions: Towards an optimal decision procedure for the modal necessity. J. Appl. Log. 17 (2016)
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
Automated prover for attribute dependencies in data with grades. Int. J. Approx. Reason. 70 (2016)
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Angel Mora
From an Implicational System to its Corresponding D-basis. CLA (2015)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego, Carlos Rossi
Knowledge discovery in social networks by using a logic-based treatment of implications. Knowl. Based Syst. 87 (2015)
José Manuel Rodríguez-Jiménez, Estrella Rodríguez Lorenzo, Pablo Cordero, Manuel Enciso, Angel Mora
A Normal Form for Fuzzy Functional Dependencies. SSCI (2015)
Estrella Rodríguez Lorenzo, Karell Bertet, Pablo Cordero, Manuel Enciso, Angel Mora
The Direct-optimal Basis via Reductions. CLA (2014)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora
A Generalized Framework to Consider Positive and Negative Attributes in Formal Concept Analysis. CLA (2014)
Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán
A tableaux-like method to infer all minimal keys. Log. J. IGPL 22 (6) (2014)
Fernando Benito Picazo, Pablo Cordero, Manuel Enciso, Angel Mora
Increasing the Efficiency of Minimal Key Enumeration Methods by Means of Parallelism. ICSOFT EA (2014)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora
Negative Attributes and Implications in Formal Concept Analysis. ITQM (2014)
Pablo Cordero, Manuel Enciso, Angel Mora
Automated Reasoning to Infer all Minimal Keys. IJCAI (2013)
Rosario Baena, Roberto Aragón, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora
-based OCL Constraints. ICSOFT (2013)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara
Improving Recommender Systems with Simplification Logic to Manage Implications with Grades. ICSOFT (Selected Papers) (2013)
Pablo Cordero, Manuel Enciso, Angel Mora, José Manuel Rodríguez-Jiménez
Computing non-redundant sets of functional dependencies via simplification. FOCI (2013)
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Angel Mora
Automated Inference with Fuzzy Functional Dependencies over Graded Data. IWANN (2) (2013)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego
Computing Left-Minimal Direct Basis of implications. CLA (2013)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. SOCO-CISIS-ICEUTE (2013)
José Luis Leiva, Manuel Enciso, Carlos Rossi, Pablo Cordero, Angel Mora, Antonio Guevara
Context-aware Recommendation using Fuzzy Formal Concept Analysis. ICSOFT (2013)
Radim Belohlávek, Pablo Cordero, Manuel Enciso, Angel Mora, Vilém Vychodil
An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data. MDAI (2012)
Pablo Cordero, Manuel Enciso, Angel Mora, Manuel Ojeda-Aciego
Computing Minimal Generators from Implications: a Logic-guided Approach. CLA (2012)
Angel Mora, Pablo Cordero, Manuel Enciso, Inmaculada Fortes, Gabriel Aguilera
Closure via functional dependence simplification. Int. J. Comput. Math. 89 (4) (2012)
Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez
Specification and inference of fuzzy attributes. FOCI (2011)
Angel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero
Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Int. J. Comput. Math. 88 (9) (2011)
Angel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek
Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88 (9) (2011)
Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora
A new deduction system for deciding validity in modal logic K. Log. J. IGPL 19 (2) (2011)
Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán, José Manuel Rodríguez-Jiménez
An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies. IWANN (2) (2011)
Carlos Rossi, Antonio Guevara, Manuel Enciso, José Luis Caro, Angel Mora, Pablo Cordero
A Tool for User-guided Database Application Development - Automatic Design of XML Models using CBD. ICSOFT (2) (2010)
Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán
A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. IWANN (1) (2009)
Alfredo Burrieza, Angel Mora, Manuel Ojeda-Aciego, Ewa Orlowska
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86 (10&11) (2009)
Pablo Cordero, Angel Mora, Inman P. de Guzmán, Manuel Enciso
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. Discret. Appl. Math. 156 (6) (2008)
Joanna Golinska-Pilarek, Angel Mora, Emilio Muñoz-Velasco
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI (2008)
Angel Mora, Gabriel Aguilera, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
A new closure algorithm based in logic: SLFD-Closure versus classical closures. Inteligencia Artif. 10 (31) (2006)
Angel Mora, Manuel Enciso
A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. ICEIS (1) (2006)
Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. SBIA (2004)
Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
A/D Case: A New Heart for FD3. ICEIS (1) (2004)
Carlos Rossi, Manuel Enciso, Angel Mora
A First Order Temporal Logic for Behavior Representation. IBERAMIA (2004)
Angel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. CAEPIA (2003)
Manuel Enciso, Angel Mora
FD3: A Functional Dependencies Data Dictionary. ICEIS (2002)
Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán
Logic: Elimination of Data Redundancy in Knowledge Representation. IBERAMIA (2002)