Spremljaj
Manuel Enciso
Manuel Enciso
Preverjeni e-poštni naslov na lcc.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
732012
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
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
482014
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
Concept lattices with negative information: a characterization theorem
JM Rodríguez-Jiménez, P Cordero, M Enciso, S Rudolph
Information Sciences 369, 51-62, 2016
452016
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
422016
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
422016
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
402020
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
342010
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
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
252006
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
232020
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
Formalization of UML state machines using temporal logic
C Rossi, M Enciso, IP De Guzmán
Software & Systems Modeling 3, 31-54, 2004
182004
Fuzzy functional dependencies: A comparative survey
L Ježková, P Cordero, M Enciso
Fuzzy Sets and Systems 317, 88-120, 2017
172017
QModeling: a multiplatform, easy-to-use and open-source toolbox for PET kinetic analysis
FJ López-González, J Paredes-Pacheco, K Thurnhofer-Hemsi, C Rossi, ...
Neuroinformatics 17, 103-114, 2019
162019
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
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
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20