| 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 | 73 | 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 | 59 | 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 | 47 | 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 | 46 | 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 | 42 | 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 | 41 | 2016 |
| 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 | 40 | 2020 |
| 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 | 33 | 2010 |
| 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 | 33* | 2006 |
| Computing Minimal Generators from Implications: a Logic-guided Approach. P Cordero, M Enciso, Á Mora, M Ojeda-Aciego CLA 2012, 187-198, 2012 | 29 | 2012 |
| 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 | 26 | 2003 |
| 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 | 23 | 2020 |
| 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, ... | 19 | 2014 |
| 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 | 18 | 2023 |
| 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 | 16 | 2009 |
| Automated reasoning to infer all minimal keys P Cordero, M Enciso, A Mora Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 15 | 2013 |
| 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 | 15 | 2011 |
| 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 | 15 | 2008 |
| 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 | 15 | 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 | 15 | 2004 |
Manuel EncisoUniversidad de Málaga在 lcc.uma.es 的电子邮件经过验证
