Edit Profile (opens in new tab) Enciso, Manuel Compute Distance To: Compute Author ID: enciso.manuel Published as: Enciso, Manuel External Links: ORCID · dblp Documents Indexed: 23 Publications since 1996 Co-Authors: 17 Co-Authors with 23 Joint Publications 104 Co-Co-Authors all top 5 Co-Authors 0 single-authored 21 Cordero, Pablo 15 Mora, Angel 9 de Guzmán, Inmaculada Pérez 3 Rodríguez-Jiménez, Jose Manuel 3 Rodríguez-Lorenzo, Estrella 2 Aguilera, Gabriel 2 Rossi, Carlos 1 Bělohlávek, Radim 1 Benito-Picazo, Fernando 1 Bertet, Karell 1 Broughton, Michael 1 Fortes, Inmaculada 1 Guevara, Antonio 1 Ježková, L. 1 López-Rodríguez, Domingo 1 Ojeda-Aciego, Manuel 1 Pattison, Tim R. 1 Pérez-Gámez, Francisco 1 Vychodil, Vilém 1 Weber, Derek all top 5 Serials 2 Discrete Applied Mathematics 2 Mathematical Methods in the Applied Sciences 2 Information Sciences 2 International Journal of Computer Mathematics 1 Acta Informatica 1 Fuzzy Sets and Systems 1 Reports on Mathematical Logic 1 International Journal of Approximate Reasoning 1 Journal of Applied Non-Classical Logics 1 Logic Journal of the IGPL 1 Bulletin of the European Association for Theoretical Computer Science EATCS Fields 20 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 26 times in 20 Documents Cited by ▼ Year ▼ Closure via functional dependence simplification. Zbl 1257.68064Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 11 2012 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 8 2016 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 7 2016 Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel 7 2016 Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. 6 2008 Canonical dichotomous direct bases. Zbl 1428.68291Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 4 2017 Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 4 2018 Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P. 2 2011 Structure theorems for closed sets of implicates/implicants in temporal logic. Zbl 0961.03020de Guzmán, I. P.; Cordero, P.; Enciso, M. 2 1999 Bases for closed sets of implicants and implicates in temporal logic. Zbl 1034.68087Cordero, P.; Enciso, M.; de Guzmán, I. P. 2 2002 A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada 2 2004 Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037Ježková, L.; Cordero, P.; Enciso, M. 1 2017 A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P. 1 2000 Inference of mixed information in formal concept analysis. Zbl 1430.68329Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. 1 2019 A tableaux-like method to infer all minimal keys. Zbl 1407.68126Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I. 1 2014 Inference of mixed information in formal concept analysis. Zbl 1430.68329Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. 1 2019 Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 4 2018 Canonical dichotomous direct bases. Zbl 1428.68291Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 4 2017 Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037Ježková, L.; Cordero, P.; Enciso, M. 1 2017 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 8 2016 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 7 2016 Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel 7 2016 A tableaux-like method to infer all minimal keys. Zbl 1407.68126Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I. 1 2014 Closure via functional dependence simplification. Zbl 1257.68064Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 11 2012 Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P. 2 2011 Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. 6 2008 A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada 2 2004 Bases for closed sets of implicants and implicates in temporal logic. Zbl 1034.68087Cordero, P.; Enciso, M.; de Guzmán, I. P. 2 2002 A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P. 1 2000 Structure theorems for closed sets of implicates/implicants in temporal logic. Zbl 0961.03020de Guzmán, I. P.; Cordero, P.; Enciso, M. 2 1999 all cited Publications top 5 cited Publications all top 5 Cited by 28 Authors 9 Cordero, Pablo 8 Medina, Jesús 5 Mora, Angel 5 Ramírez-Poussa, Eloisa 3 Benítez-Caballero, María José 3 Cornejo, Maria Eugenia 3 Ślęzak, Dominik 2 de Guzmán, Inmaculada Pérez 2 Enciso, Manuel 2 Ojeda-Aciego, Manuel 2 Rodríguez-Jiménez, Jose Manuel 2 Vychodil, Vilém 1 Broughton, Michael 1 Cabrera, Inma P. 1 Díaz-Moreno, Juan Carlos 1 Gutiérrez, Gloria 1 Ježková, L. 1 Liñeiro-Barea, Valentín 1 López-Rodríguez, Domingo 1 Martínez del Castillo, Javier 1 Medina-Bulo, Inmaculada 1 Muñoz-Velasco, Emilio 1 Navareño, Pablo 1 Ojeda-Hernández, Manuel 1 Pattison, Tim R. 1 Pérez-Gámez, Francisco 1 Urbanova, Lucie 1 Weber, Derek all top 5 Cited in 8 Serials 3 Information Sciences 2 Fuzzy Sets and Systems 2 Journal of Computational and Applied Mathematics 1 Discrete Applied Mathematics 1 Kybernetika 1 International Journal of Approximate Reasoning 1 International Journal of Computer Mathematics 1 TWMS Journal of Pure and Applied Mathematics Cited in 4 Fields 19 Computer science (68-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) Citations by Year