Angel Mora Bonilla
Angel Mora Bonilla
Associate Professor of University of Málaga
Dirección de correo verificada de - Página principal
Citado por
Citado por
Closure via functional dependence simplification
A Mora, P Cordero, M Enciso, I Fortes, G Aguilera
International Journal of Computer Mathematics 89 (4), 510-526, 2012
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation
P Cordero, M Enciso, A Mora, IP de Guzmán
Advances in Artificial Intelligence—IBERAMIA 2002: 8th Ibero-American …, 2002
Negative attributes and implications in formal concept analysis
JM Rodríguez-Jiménez, P Cordero, M Enciso, A Mora
Procedia Computer Science 31, 758-765, 2014
Knowledge discovery in social networks by using a logic-based treatment of implications
P Cordero, M Enciso, A Mora, M Ojeda-Aciego, C Rossi
Knowledge-Based Systems 87, 16-25, 2015
Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis
JM Rodríguez‐Jiménez, P Cordero, M Enciso, A Mora
Mathematical Methods in the Applied Sciences 39 (16), 4829-4845, 2016
Automated prover for attribute dependencies in data with grades
R Belohlavek, P Cordero, M Enciso, Á Mora, V Vychodil
International Journal of Approximate Reasoning 70, 51-67, 2016
A new closure algorithm based in logic: SLFD-Closure versus classical closures
A Mora, G Aguilera, M Enciso, P Cordero, IP de Guzmán
Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2006
Computing Minimal Generators from Implications: a Logic-guided Approach.
P Cordero, M Enciso, Á Mora, M Ojeda-Aciego
CLA 2012, 187-198, 2012
A conversational recommender system for diagnosis using fuzzy rules
P Cordero, M Enciso, D López, A Mora
Expert Systems with Applications 154, 113449, 2020
A tool for user-guided database application development
C Rossi, A Guevara, M Enciso, JL Caro, A Mora, P Cordero
Automatic Design of XML Models using CBD Proceedings of the Fifth …, 2010
An efficient preprocessing transformation for functional dependencies sets based on the substitution paradigm
A Mora, M Enciso, P Cordero, I Pérez de Guzmán
Current Topics in Artificial Intelligence: 10th Conference of the Spanish …, 2004
A generalized framework to consider positive and negative attributes in formal concept analysis
JM Rodríguez Jiménez, P Cordero-Ortega, M Enciso-García-Oliveros, ...
Parameterized simplification logic I: reasoning with implications and classes of closure operators
P Cordero, M Enciso, A Mora, V Vychodil
International Journal of General Systems 49 (7), 724-746, 2020
Automated reasoning to infer all minimal keys
P Cordero, M Enciso, A Mora
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
A complete logic for fuzzy functional dependencies over domains with similarity relations
P Cordero, M Enciso, A Mora, IP de Guzmán
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th …, 2009
An ATP of a relational proof system for order of magnitude reasoning with negligibility, non-closeness and distance
J Golińska-Pilarek, A Mora, E Munoz-Velasco
PRICAI 2008: Trends in Artificial Intelligence: 10th Pacific Rim …, 2008
A non-explosive treatment of Functional dependencies using rewriting logic
G Aguilera, P Cordero, M Enciso, A Mora, IP de Guzmán
Advances in Artificial Intelligence–SBIA 2004: 17th Brazilian Symposium on …, 2004
Implementing a relational theorem prover for modal logic
A Mora, E Muñoz-Velasco, J Golińska-Pilarek
International Journal of Computer Mathematics 88 (9), 1869-1884, 2011
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
P Cordero, Á Mora, IP de Guzmán, M Enciso
Discrete Applied Mathematics 156 (6), 911-923, 2008
Computing Left-Minimal Direct Basis of implications.
P Cordero, M Enciso, A Mora, M Ojeda-Aciego
CLA 1062, 293-298, 2013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20