Angel Mora Bonilla
Angel Mora Bonilla
Associate Professor of University of Málaga
Dirección de correo verificada de ctima.uma.es - Página principal
Título
Citado por
Citado por
Año
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation
P Cordero, M Enciso, A Mora, IP de Guzmán
Ibero-American Conference on Artificial Intelligence, 141-150, 2002
502002
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
472012
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
252014
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
222016
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
222015
An efficient preprocessing transformation for functional dependencies sets based on the substitution paradigm
A Mora, M Enciso, P Cordero, IP de Guzmán
Conference on Technology Transfer, 136-146, 2003
222003
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
212006
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
202010
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
172016
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, ...
172014
Computing Minimal Generators from Implications: a Logic-guided Approach.
P Cordero, M Enciso, A Mora, M Ojeda-Aciego
CLA 2012, 187-198, 2012
162012
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 Muñoz-Velasco
Pacific Rim International Conference on Artificial Intelligence, 128-139, 2008
152008
A non-explosive treatment of functional dependencies using rewriting logic
G Aguilera, P Cordero, M Enciso, A Mora, IP de Guzmán
Brazilian Symposium on Artificial Intelligence, 31-40, 2004
152004
A complete logic for fuzzy functional dependencies over domains with similarity relations
P Cordero, M Enciso, A Mora, IP de Guzmán
International Work-Conference on Artificial Neural Networks, 261-269, 2009
142009
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
142008
Automated reasoning to infer all minimal keys
P Cordero, M Enciso, A Mora
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
132013
An efficient reasoning method for dependencies over similarity and ordinal data
R Belohlavek, P Cordero, M Enciso, A Mora, V Vychodil
International Conference on Modeling Decisions for Artificial Intelligence …, 2012
122012
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
122011
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
A Burrieza, A Mora, M Ojeda-Aciego, E Orłowska
International Journal of Computer Mathematics 86 (10-11), 1852-1866, 2009
112009
Ideal non-deterministic operators as a formal framework to reduce the key finding problem
A Mora, IP de Guzmán, M Enciso, P Cordero
International Journal of Computer Mathematics 88 (9), 1860-1868, 2011
102011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20