Spremljaj
Angel Mora Bonilla
Angel Mora Bonilla
Associate Professor of University of Málaga
Preverjeni e-poštni naslov na ctima.uma.es - Domača stran
Naslov
Navedeno
Navedeno
Leto
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
722012
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
592002
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
462015
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
452014
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
392020
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
392016
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
392016
A Tool for user-guided database application development-Automatic Design of XML Models using CBD
C Rossi, A Guevara, M Enciso, JL Caro, A Mora, P Cordero
International Conference on Software and Data Technologies 2, 195-200, 2010
332010
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
32*2006
Computing Minimal Generators from Implications: a Logic-guided Approach.
P Cordero, M Enciso, Á Mora, M Ojeda-Aciego
CLA 2012, 187-198, 2012
292012
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
Conference on Technology Transfer, 136-146, 2003
262003
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
222020
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, ...
192014
Lexicon-based sentiment analysis in texts using formal concept analysis
M Ojeda-Hernández, D López-Rodríguez, Á Mora
International Journal of Approximate Reasoning 155, 104-112, 2023
162023
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
162009
Automated reasoning to infer all minimal keys
P Cordero, M Enciso, A Mora
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
152013
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
Pacific Rim International Conference on Artificial Intelligence, 128-139, 2008
152008
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
P Cordero, A Mora, IP de Guzmán, M Enciso
Discrete Applied Mathematics 156 (6), 911-923, 2008
152008
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
152004
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
142011
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20